conf.researchr.org / Thanh-Hai Tran
![Thanh-Hai Tran](https://conf.researchr.org/getProfileImage/thanhhaitran/1689fd9f-8acf-401f-a99e-258ffd980daf/small.jpg?1711841693000)
Registered user since Mon 8 Jul 2019
Name:Thanh-Hai Tran
Country:Austria
Affiliation:TU Wien, Austria
Personal website: https://forsyte.at/people/tran/
Research interests:Model checking, distributed algorithms, security and cryptography
Contributions