- Professor of Practice, Computer Science & Engineering
- Affiliated Faculty, Multidisciplinary Engineering
- Phone: 979-845-5480
- Email: tyagi@cse.tamu.edu
- Office: PETR 207
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
- Secure computing
- High performance computing architectures
Teaching Interests
- Computer Architecture
- Data Structures and Algorithms
- Hardware Verification
- Project Management
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
- Project Management at Intel Corporation in Processor Design
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
- Texas A&M College of Engineering Teaching Excellence Award, 2016
- Texas A&M Center for Teaching Excellence Grant for Flipping Course Content, 2016
- Texas A&M Professor of Practice Instructional Grant Award, 2015
- Texas A&M CSE Undergraduate Faculty Teaching Excellence Award, 2015
Selected Publications
- P. Sengupta, A. Tyagi, Y. Chen, J. Hu, “Quick Identification of Timing Critical Components in RTL Designs”, IEEE/ACM MLCAD Workshop, September 2023.
- C. Chen, R. Kande, F. Andersen, A. Tyagi, A. Sadeghi, J. Rajendran, “HyPFuzz: Formal-Assisted Processor Fuzzing”, 32nd USENIX Security Symposium, August 2023.
- P. Sengupta, A. Tyagi, Y. Chen, J. Hu, “How Good Is Your Verilog RTL Code? A Quick Answer from Machine Learning”, International Conference on Computer Aided Design, November 2022.
- R. Kande, A. Crump, G. Persyn, P. Jauernig, A. Tyagi, A. Sadeghi, J.V. Rajendran, “TheHuzz: Instruction Fuzzing of Processors using Golden Reference Models for finding Software-Exploitable Vulnerabilities”, 31st USENIX Security Symposium, August 2022.
- S. Gogri, J. Ju, A. Tyagi, et al, “Machine Learning-Guided Stimulus Generation for Functional Verification”, DVCON’20, San Jose, CA, March 2020.
- A. Tyagi, “On Bringing Chip Design Verification and Validation to Academia,” Proceedings of CDNLive, Cadence Inc. Annual Conference, San Jose, CA, April 2016.
- A. Tyagi and M.A. Bayoumi, “Defect Clustering Viewed Through Generalized Poisson Distribution”, IEEE Transactions on Semiconductor Manufacturing, Vol. 5, No. 3, August 1992, pp. 196-206.
- A. Tyagi and M.A. Bayoumi, “Systolic Array Implementation of Image Segmentation by a Directed Split and Merge Procedure,” Proceedings of the 32nd Midwest Symposium on Circuits and Systems, Urbana, IL, August 1989.