Role

• PreDoc Researcher
  Formal Methods in Systems Engineering, E192-04

Contact

• thanh.tran@tuwien.ac.at
• +43-1-58801-740041
• Favoritenstrasse 9, Room HD0323
• vCard from TISS

• informatics.tuwien.ac.at/people/thanh-tran
• tiss.tuwien.ac.at/person/286364