Hi! I am a PhD student in Computer Science at George Mason University, advised by Dr. ThanhVu Nguyen at ROARS lab.
I obtained my B.S. degree in Computer Science from University of Nebraska - Lincoln with a minor in Mathematics. I worked with Dr. ThanhVu Nguyen during my senior year at UNL, and continue to work with him as a PhD student at GMU.
In my free time, I like to do tinkering, play video games, and (occasionally) hike or cycle.
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 Teaching Assistants Award @GMU
2023
Our team got the New participant award and ranked 4th overall at VNN-COMP 2023 (Special thanks to Hai!)
2021
Undergraduate Creative Activities and Research Experience (UCARE) Award @UNL
2019
Global Delegate Scholarship @UNL
Miscellaneous
You found my Bilibili account!
Funder of ROARS fudbank (accepting donations).