VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Tomas Vojnar

Registered user since Mon 2 Nov 2015

Name: Tomas Vojnar

Bio: Tomas Vojnar focuses on automated verification, especially over infinite-state and concurrent systems. In the former area, his work has included formal verification of parameterized systems, abstract regular model checking, and shape analysis of programs with pointers and dynamic linked data structures. He has also worked on efficient ways of dealing with various kinds of non-deterministic automata and logics, with applications in the above mentioned verification approaches. As for concurrent programs, he has mainly worked in the area of their noise-based testing and dynamic analysis, self-healing, as well as applications of search techniques in noise-based testing. His works won multiple best paper awards, such as the EATCS Best Theory Paper Award of ETAPS’10, the best tool paper of RV’12, as well as multiple medals in the international software verification competition SV-COMP’12-14, including a Goedel medal at the FLoC Olympic Games 2014.

Country: Czech Republic

Affiliation: Brno University of Technology

Personal website: www.fit.vutbr.cz/~vojnar

Research interests: Program analysis

POPL 2016 Activities

POPL 2016-profile
View general profile