Hi! I'm a PhD student in Computer Science at George Mason University, advised by Dr. ThanhVu Nguyen at the ROARS lab.
I obtained my B.S. degree in Computer Science with a minor in Mathematics from the University of Nebraska - Lincoln. I began working with Dr. Nguyen during my senior year at UNL and continued to work with him as a PhD student at GMU.
Research
My current research focuses on Input generation related to DNN verification.
Formal method , Software testing, and Program analysis also fall into my field of interest.
News
- 8/2025: ASE'25 research paper on generating challenging benchmarks for DNN verification
- 6/2025: Our benchmark ReluSplitter was accepted and used in VNN-COMP’25
- 4/2025: ISSTA'25 TOOL papers on LSP support for the COOL language
Selected Publications
Awards
2025
Outstanding Graduate Assistants Award @GMU
2023
New Participant Award, VNN-COMP 2023 (Special thanks to Hai!)
2021
Undergraduate Creative Activities and Research Experience (UCARE) Award @UNL
2019
Global Delegate Scholarship @UNL
Miscellaneous
Funder of ROARS fudbank (Come grab some snack! We are at ENGR 4404).