Trần Thanh Hải

 
  • Project Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HD 03 23
  • Phone: +43 (1) 58801 – 740 04
  • Email: tran [at] forsyte.at
  • Web: forsyte.at/~tran/, TISS

Research Interests

  • Formal methods, TLA+, Verification of Fault Tolerant Distributed Algorithms

Current Position


Education