I am a 2nd Ph.D. student at the School of Computing & Information Systems, University of Melbourne. I feel fortunate to have the opportunities working with Prof. Toby Murray and Prof. Benjamin Rubinstein as my research advisors. My research interests lie in the fields of Programming Languages, Program Analysis, Formal Verification, and Cryptography. I previously received my BSc (First Class Hons) in Computer Science from the University of Science, Ho Chi Minh City, Vietnam.

NB: My full name (NGUYEN Duc Than) is written in Vietnamese tradition, where Nguyen, Duc, and Than are respectively my family name, middle name, and given name.


Teaching & Other Experience

Honors and Awards


Useful Links

Last updated on August 31th, 2019.