LOI NGUYEN
Phd Student - University of California, Riverside
My research aims to make software verification practical for everyday development. Currently, I am interest in quantitative reliability contracts for concurrent and networked software. I develop effect systems and static analyses that make timing, resource, and concurrency assumptions explicit and checkable, so developers can verify not just functional correctness, but whether systems remain feasible and reliable under real execution conditions.
I am currently advised by Professor Manu Sridharan at UCR. Before that, I was doing undergraduate research at NJIT under the guidance of Professor Martin Kellogg.