Faculty

Our distinguished faculty members combine decades of academic and industry experience in computer science, electrical engineering, and verification methodologies and practices. They are uniquely positioned to bridge the gap between academia and industry, driving research that is both rigorous and readily applicable to real-world practice.
Each faculty member is committed to fostering an inclusive learning environment and supporting students from diverse backgrounds in their academic and research journeys.

Jiang Hu, an IEEE Fellow, has 28 years of experience in the research and development of electronic design automation (EDA) techniques. He co-authored over 270 publications and received six Best Paper Awards. He has recently focused on applying machine learning techniques to chip design and verification.

Aakash Tyagi has over 20 years of industry experience in end-to-end CPU development in 8 generations of CPU development. He joined Intel Corporation in 1994 and was instrumental in the development of dynamic circuit methodologies on the Pentium class of processors. He also served as the Project Manager of the 3rd generation of Xeon Phi Processor. At Texas A&M University, Tyagi serves as a Professor of Practice with research interests in hardware performance, functional, and security verification.

Mike Quinn has over 30 years of industry experience on chip design functional verification. He was a Senior Principal Engineer at Intel from 2001 to 2014, where he co-led pre-silicon functional verification for several generations of Intel Xeon and Itanium server processor designs. He was responsible for developing the overall verification strategy and associated innovations necessary for designing and validating these extremely complex and large designs. Prior to Intel, he was pre-silicon validation leader for the EV6 Alpha microprocessor design at Digital Equipment Corp. Currently, he is an Associate Professor of Practice at Texas A&M University, where he coached two teams of TAMU students that finished in 1st place at the 2018 & 2019 Hack@DAC competitions, which is a hardware security contest associated with DAC. He has been instrumental in the creation of a strong and industry-recognized curriculum in hardware verification at TAMU.

David Kebo Houngninou is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, where he has served since 2018. His research focuses on hardware design verification. He teaches undergraduate and graduate courses in functional verification, computer architecture, and operating systems. Dr. Houngninou holds a Ph.D. in Computer Engineering from Southern Methodist University and has industry experience at Texas Instruments, IBM Research Lab, and NXP Semiconductors. His work bridges academia and the semiconductor industry, preparing students for careers in hardware verification and design.