prof. Ing.

Tomáš Vojnar



+420 54114 1202
A215 Office
2491/BUT personal ID


Education and academic qualification

Scientific activities

Research Interests

  • Static analysis of programs, focused especially (though not only) on programs with pointers and dynamic data structures, concurrency, or performance analysis.
  • Formal analysis and verification, especially for parametric and infinite-state systems.
  • Dynamic analysis and testing, particularly for concurrent programs.
  • Automata and logics for verification and beyond.
  • See also the research group VeriFIT.

Publications -- records extended with additional information and links

Publications at DBLP

Record at Google Scholar

ha-index: 83

Prizing by scientific community

Active participation in domestic and international associations and organisations

  • Memberships in PCs of conferences/workshops.
  • Editorial board of the STTT journal, Springer, area Competitions and Challenges, since 12/2021.
  • PC co-chair (together with Lijun Zhang) of TACAS'19 -- 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czechia, 2019.
  • Co-chair of the 13th Alpine Verification Meeting -- AVM'19, Brno, Czechia, 2019.
  • Chair of SV-COMP 2018: 7th International Competition on Software Verification.
  • Workshop Chair at CAV'10 -- 22nd International Conference on Computer-Aided Verification, FLoC 2010, Edinburgh, UK.
  • PC co-chair (together with Peter Habermehl) of INFINITY'08 -- 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada.
  • Editorial board of the CAI journal, since 2/2005.
  • Steering Committee of MEMICS -- Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Czechia, until 2016.


Back to top