» Project assistant, PhD student
My main interests are in formal software verification, computational logic, and decision procedures. I also have broader interests in cryptography, security, and software design and development.
I have received my MSc in Computer Science from the European Master Program in Computational Logic. Prior to this, I obtained my BSc in Computer Science from University of Science, HCMC, Vietnam.
Thanh Hai Tran
Technische Universität Wien
Institut für Informationssysteme 184/4
|Room:||HA 03 02 (how to get there)|
|Phone:||+43 (1) 58801 – 740 04|