Thanh Hai Tran

» Project assistant, PhD student

I am a PhD student with Igor Konnov. I am also an affiliated student in the LogiCS doctoral program. I am currently developing a finite-state model checker for TLA+,
under the APALACHE project.

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.

Address:
Thanh Hai Tran
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HA 03 02 (how to get there)
Phone: +43 (1) 58801 – 740 04
Email: ta.etysrofnull@nart
Web: http://forsyte.at/~tran/

Latest News

CAV 2013 in St. Petersburg!

Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.  

Continue reading

Full news archive