Email: dnguye96 (@t) uic (dot) edu
Office: 13.36 SEO Building
ORCID: 0000-0002-6810-897X
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
- April 2024: I am in Artifact Evaluation Committee of ICFP'24.
- January 2024: Our paper on Compositional Verification of Concurrent C Programs with Search Structure Templates, presented at CPP'24 (held in POPL in London), was presented by William Mansky in a YouTube video.
- 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