Abelardo Pardo Sánchez

Ph.D. University of Colorado Boulder 1997 UnitedStates
Dissertation: Automatic Abstraction Techniques for Formal Verification of Digital Systems
Mathematics Subject Classification: 94—Information and communication, circuits

Advisor: Gary Deane Hachtel

Click here to see the students listed in chronological order.

Fernández Panadero, Maria CarmenUniversidad Carlos III de Madrid2004
Gutiérrez Santos, SergioUniversidad Carlos III de Madrid20071

According to our current on-line database, Abelardo Pardo Sánchez has 2 students and 3 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 120539 for the advisor ID.