Duc-Than Nguyen

Duc-Than Nguyen

I'm a Ph.D. candidate in Computer Science at University of Illinois at Chicago. I feel fortunate to be working with Prof. William Mansky as my research advisor. My main research interests lie in program semantics and formal software verification. I primarily utilize the Coq theorem prover, a tool that defines programs, specifies their behavior, and proves that programs meet their specifications.
Currently, my focus is on building techniques for proving the correctness of concurrent C programs using the Verified Software Toolchain and Iris. I also have broader interests in cryptography and security.

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

Recent News

  • November 2023: Our paper on Compositional Verification of Concurrent C Programs with Search Structure Templates got accepted to CPP'24.
  • November 2023: I gave a talk about Compositional Verification of Concurrent C Programs with Search Structure Templates at NJPLS 2023.
  • April 2022: Our paper on Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic got accepted to PLDI'22.
  • March 2021: I earned a Master of Philosophy in Computing and Information Systems from University of Melbourne, Australia.
  • January 2021: I started Ph.D. program at University of Illinois at Chicago