Nguyen Ho

My name is Nguyen Ho. I am a second-year PhD student in Computer Science at George Mason University (GMU), advised by Prof. ThanhVu Nguyen. My research interests center on Deep Neural Network Verification to ensure the safety and trustworthiness of AI/ML, currently focusing on generating benchmarks for Deep Neural Network Verifiers.

Before joining GMU, I obtained my Bachelor’s Degree in Computer Science from University of California, Davis (UC Davis). During my undergraduate, I contributed to multiple educational and community-related projects including rvcodec.js under the supervision of Professor Porquet, Profficient at CodeLab, and Colorflix & TaskCollab at Google Developer Student Club @ UC Davis. After graduation, I worked as a software developer at Ronald Lab (UC Davis) where I developed tools for rice mutation analysis and built KitBase to showcase research result.