LOI NGUYEN

Phd Student - University of California, Riverside

At the moment, I am interested in type systems and formal verification. My goal is to enhance the practicality and expressivity of these methodologies, ultimately making it more feasible for programmers to write programs with less bugs or even programs that are correct by construction.

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.