- Professor of Practice, Computer Science & Engineering
- Affiliated Faculty, Multidisciplinary Engineering
- Phone: 979-845-5480
- Email: tyagi@cse.tamu.edu
- Office: PETR 207
- Website: Research Website
Educational Background
- Ph.D. Computer Engineering, University of Louisiana, Lafayette, Louisiana — 1993
- M.S. Electrical and Computer Engineering, University of Louisiana, Lafayette, Louisiana — 1989
- B.S. Electronics & Communication, Kamla Nehru Institute of Technology, Sultanpur, India — 1987
Research Interests
-
- Hardware verification
Teaching Interests
- Computer architecture
- Data structures and algorithms
- Hardware verification
Industry Experience
- Twenty years of service at Intel in positions ranging from individual technical contributor to senior director in Server Development Group.
- Worked on eight generations of CPU’s at Intel; most recently managed the design and execution of Knights Landing: 2015 2nd Generation Xeon Phi Product
Awards & Honors
- Texas A&M Association of Former Students University-Level Distinguished Achievement Award for Individual Student Engagement, 2024
- Texas A&M Open Educational Resources Award, 2023
- Texas A&M CSE Undergraduate Faculty Teaching Excellence Award, 2022
- Provost Academic Professional Track Faculty Teaching Excellence Award, 2022
- Texas A&M Association of Former Students University-Level Distinguished Achievement Award in Teaching, 2021
- Texas A&M Honoring Excellence Award for Outstanding Support of On-Campus Students’ Academic Success, 2020
- Texas A&M Association of Former Students Distinguished Achievement Award in Teaching - College Level, 2019
- Lambda Sigma Honor Society National Level Recognition (Advisor), 2018
- Texas A&M ITS Instructional Pedagogy Award, 2018
- Texas A&M CSE Undergraduate Faculty Teaching Excellence Award, 2017
Selected Publications
- C. Liu, P. Parlapalli, D.K. Houngninou, M. Quinn, A Tyagi, J. Hu, “Improving Last-Mile Coverage in Functional Verification,” ACM/IEEE International Symposium on Machine Learning for CAD, September 2025.
- S. Jasper, M. Luu, E. Pan, A Tyagi, M. Quinn, J. Hu, D.K. Houngninou, “BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis,” ACM/IEEE International Symposium on Machine Learning for CAD, September 2025.
- M. Luu, S. Jasper, K. Le, E. Pan, M. Quinn, A. Tyagi, J. Hu, “VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration,” ACM/IEEE International Symposium on Machine Learning for CAD, September 2025.
- P. Sengupta, A. Tyagi, J. Hu, V.K. Rajan, H. Mostafa, S. Majumdar, “MinBLoG: Minimization of Boolean Logic Functions using Graph Attention Network,” ACM/IEEE International Symposium on Machine Learning for CAD, September 2024.
- P. Sengupta, A. Tyagi, Y. Chen, J. Hu, “Quick Identification of Timing Critical Components in RTL Designs”, IEEE/ACM MLCAD Workshop, September 2023.