معرفی
Aakash Tyagi is a Professor of Practice in Computer Science & Engineering at Texas A&M University, affiliated with the Multidisciplinary Engineering program. His roles include academic leadership, teaching, and industry collaboration. He holds a Ph.D. in Computer Engineering from the University of Louisiana (1993), an M.S. in Electrical and Computer Engineering (1989), and a B.S. in Electronics & Communication from Kamla Nehru Institute of Technology, India (1987).
His research focuses on hardware verification, secure computing, and high-performance computing architectures. He has over two decades of industry experience at Intel, contributing to CPU design and managing projects like the Knights Landing processor. Teaching interests include computer architecture, data structures, and project management.
His publications emphasize innovative applications of machine learning in hardware verification, formal methods for processor security, and optimization techniques for EDA tools. Notable works include HyPFuzz (2023), MinBLoG (2024), and Spec2Assertion (2025), advancing automated verification and vulnerability detection.
Tyagi has received over 15 teaching and service awards from Texas A&M, including multiple Distinguished Achievement Awards (2015–2024) and grants for instructional innovation. He actively bridges academia and industry through research partnerships and mentorship.
