Students
Our lab is home to talented graduate and undergraduate students who are passionate about advancing the field of verification and testing. They work closely with faculty on cutting-edge research projects and contribute to the development of innovative verification tools and methodologies. We welcome students from all backgrounds and are committed to providing an inclusive environment where everyone can excel in their research and academic pursuits.
Current Students
Fenghua Wu
Chengjia Liu
(Daniel)
Ana Eugenia
Sanchez

Sairam Viswanathan
Susarla
Evan Pan
Former Students

Minh Luu
MS 2024
Infeneon Technologies
Surya Jasper
BS 2025
AMD, Inc.
