Duc-Than Nguyen

As a Ph.D. candidate in CS@UIC, supervised by Prof. William Mansky, my research is devoted to advancing provably correct software. I investigate program semantics and correctness, with a particular emphasis on concurrent systems. Currently, I am developing techniques to verify the correctness of concurrent C programs using VST and Iris framework.

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