prof. Ing.

Tomáš Vojnar

Ph.D.

Supervisor

Curriculum

2023: Candidacy for Dean of FIT BUT for the period 1/2024--1/2028 (received 6/13 votes of the Academic Senate of FIT BUT). Candidate page (vision, motivation, program, team, FAQ): html, pdf. Presentation at the Academic Assembly on 16/10/2023: pdf.
2019--23: membership in the panel P103 of the Czech Science Foundation.
2015, June: invited lecturer of the PhD course Automata-theoretic Methods for Infinite-State Verification at the Faculty of Informatics, TU Vienna.
2013, June/July: invited professor at LIAFA, Université Paris Diderot/CNRS, Paris, France.
2012: professor of computer science and engineering, at FIT, Brno University of Technology, Czech Republic.
2007: associate professor of computer science and engineering, at FIT, Brno University of Technology, Czech Republic.
2005--2008: researcher (part time) at CESNET within the Liberouter project.
2005, June/July: invited researcher at LIAFA, Université Paris 7--Denis Diderot/CNRS, France.
2001--2003: Post-Doc stay at LIAFA, Université Paris 7--Denis Diderot/CNRS, France within the ADVANCE project.
1999--2007: assistant professor at FIT (formerly FEECS), Brno University of Technology, Czech Republic.
2001: PhD in computer science and cybernetics, DCSE FEECS, Brno University of Technology, Czech Republic.
1996: MSc in computer science and engineering, DCSE FEECS, Brno University of Technology, Czech Republic.

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.

ha-index: 83

Invited talks: ETAPS’22 unifying speaker (Munich) -- slides, ECOOP'15 Summer School (Prague), SAS'14 (Munich), INForum'14 (Porto), TTATT'13 (Hanoi), SOFSEM'11 (Novy Smokovec), INFINITY'10 (Singapore).
The best theory paper award of ETAPS'10 awarded by the European Association for Theoretical Computer Science (EATCS).
Best papers at CADE’19 and CIAA’08, best tool papers at ISSTA’18 and RV’12.
9 gold, 6 silver, 5 bronze medals in the International Software Verification Competition SV-COMP’12–22 with the Predator, 2LS, and Symbiotic tools.
Bronze medal in the 2018 Human-Competitive Awards – “Humies” for the method of automated design of approximate arithmetic circuits based on a combination of genetic algorithms and formal methods.
A Gödel prize from the FLoC 2014 Olympic Games for successes of the Predator in SV-COMP.
1 gold and 3 silver medals with the SPEN and SLIDE tools at the 1st International Competition of Separation Logic Decision Procedures SL-COMP'14 organised within SMT-COMP'14.
Prize of Siemens for outstanding Ph.D. thesis, 2001.

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.