conf.researchr.org / Duc-Than Nguyen
![Duc-Than Nguyen](https://conf.researchr.org/getProfileImage/ducthannguyen/b36d04ee-8c28-49f3-a5a8-abb1ef8dc4b2/small.jpg?1713516654000)
Registered user since Sun 20 Mar 2022
Name:Duc-Than Nguyen
Country:United States
Affiliation:University of Illinois at Chicago
Personal website: https://ducthan.net
GitHub: https://github.com/ducthann
Research interests:Programming Languages and Formal Verification
Contributions