Duc-Than Nguyen

I'm a Ph.D. candidate in Computer Science at the University of Illinois Chicago, advised by Prof. William Mansky. My primary research interest lies in advancing the field of provably correct software. I focus on programming language semantics and program correctness, with a particular emphasis on concurrent systems.
Currently, I'm working on techniques to verify the correctness of concurrent C programs using VST and Iris. My goal is to prove the correctness of realistic concurrent systems code and to develop simpler approaches to reasoning about fine-grained concurrency.

You can find details about my projects and papers on the research page, and my CV is available here.