Prof. Ing.
Tomáš Vojnar
Ph.D.
Vice-dean for Science and Research
+420 54114 1202
vicedean-science@fit.vut.cz
vojnar@fit.vut.cz
Office A215
Curriculum
Research Interests
- Static analysis of programs, especially though not only for programs with pointers and dynamic data structures.
- 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.
Professional career
- 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
- 2007: associate professor of computer science and engineering
- 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.
Awards
- The best paper award of CIAA'08 2008
- EATCS Award for Best ETAPS Paper 2010
- The best tool paper award of the RV'12 conference 2012
- The Commemorative Medal of FIT BUT (The Silver Medal) 2012
- Victory in one of the categories of the international software verification competition SV-COMP'12 2012
- Victory in three categories of the international software verification competition SV-COMP'13 2013
- Kurt Gödel Medal from the FLoC Olympic Games 2014
- Successful participation of the Predator and CPAlien tools in the international software verification competition SV-COMP'14 2014
- Best Tool Demonstration Award ISSTA 2018
- Bronze Medail in Human competitive awards in genetic and evolutionary computation (Humies) 2018
- Winner of the Best Teacher in the Master's degree program 2018
- Best Paper award of CADE-27 2019
Memberships
- 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.
- Editorial board of the CAI journal.
- Program Committees:
- TACAS'22 -- 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany.
- SAS'20 -- 27th Static Analysis Symposium, Chicago, USA.
- iFM'20 -- 16th International Conference on integrated Formal Methods, Lugano, Switzerland.
- MOVEP'20 -- 14th Summer School on Modelling and Verification of Parallel Processes, Grenoble, France.
- InterAVT'20 -- Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020, Dublin, Ireland.
- LATA'20 -- 14th International Conference on Language and Automata Theory and Applications, Milano, Italy.
- APLAS'19 -- 17th Asian Symposium on Programming Languages and Systems, Bali, Indonesia.
- iFM'19 -- 15th International Conference on integrated Formal Methods, Bergen, Norway.
- SAS'19 -- 26th Static Analysis Symposium, Porto, Portugal.
- InterAVT'19 -- Interactive Workshop on the Industrial Application of Verification and Testing, Prague, Czech Republic.
- CAV'18 -- 30th International Conference on Computer-Aided Verification, Oxford, UK.
- FMICS'18 -- 23rd International Conference on Formal Methods for Industrial Critical Systems, Maynooth, Ireland.
- MOVEP'18 -- 13th Summer School on Modelling and Verification of Parallel Processes, Paris-Saclay, Cachan, France.
- TACAS'18 -- 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece.
- ICALP'18 -- 45th International Colloquium on Automata, Languages, and
Programming, Prague, Czech Republic. - CONCUR'17 -- 28th International Conference on Concurrency Theory, Berlin, Germany.
- CAV'17 -- 29th International Conference on Computer-Aided Verification, Heidelberg, Germany.
- SV-COMP'17, SV-COMP'16, SV-COMP'15 -- 4th-6th International Competition on Software Verification held at TACAS'14-16.
- FMCAD'16 -- 16th International Conference on Formal Methods in Computer-Aided Design, Mountain View, California, USA.
- CAV'16 -- 28th International Conference on Computer Aided Verification, Toronto, Ontario, Canada (ERC).
- MUSEPAT'16 -- Multicore Software Engineering, Performance, Applications and Tools, a track of the 31st ACM/SIGAPP Symposium on Applied Computing -- SAC 2016, Pisa, Italy (track chair).
- LPAR-20 -- 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Fiji.
- MEMICS'15 -- 10th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic (general chair).
- SynCoP'15 -- 2nd International Workshop on Synthesis of Complex Parameters, London, UK.
- MUSEPAT'14 -- 2nd International Conference on Multicore Software Engineering, Performance, and Tools, Hong Kong, China.
- TASE'14 -- 8th International Symposium on Theoretical Aspects of Software Engineering, Changsha, China.
- SV-COMP'14 -- 3rd International Competition on Software Verification held at TACAS'14, Grenoble, France. Previously SV-COMP'13 (Rome, Italy) a SV-COMP'12 (Tallinn, Estonia).
- INFINITY'13 -- 15th International Workshop on Verification of Infinite-State Systems, Hanoi, Vietnam.
- MUSEPAT'13 -- 1st International Conference on Multicore Software Engineering, Performance, and Tools, St. Petersburg, Russia.
- SVARM-VERIFY'12 -- Joint SVARM & VERIFY Workshop 2012, Manchester, UK.
- FOSSACS'12 -- 15th International Conference on Foundations of Software Science and Computation Structures, Tallinn, Estonia.
- MEMICS'12 (Znojmo, PC co-chair), MEMICS'11 (Lednice, PC co-chair), MEMICS'10 (Mikulov, PC co-chair), MEMICS'09 (Znojmo, general chair), MEMICS'08 (Znojmo, PC co-chair), MEMICS'07 (Znojmo), MEMICS'06 (Mikulov), MEMICS'05 (Znojmo) -- International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Czech Republic.
- ATVA'11 -- 9th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan.
- INFINITY'11 -- 13th International Workshop on Verification of Infinite-State Systems, Taipei, Taiwan.
- TACAS'11 -- 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbrücken, Germany.
- SOFSEM'11 -- 37th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia.
- CEE-SET'11 -- 5th IFIP TC2 Central and East European Conference on Software Engineering Techniques, Debrecen, Hungary.
- INFINITY'10 --12th International Workshop on Verification of Infinite-State Systems, Singapore.
- GandALF'10 -- 1st International Symposium on Games, Automata, Logics and Formal Verification, Minori, Italy.
- SVARM'10 -- Workshop on Synthesis, Verification, and Analysis of Rich Models, Edinburgh, United Kingdom. (co-chair)
- SOFSEM'10 -- 36th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův mlýn, Czech Republic.
- ICTAC'09 -- 6th International Colloquium on Theoretical Aspects of Computing, Kuala Lumpur, Malaysia.
- CEE-SET'09 -- 4rd IFIP TC2 Central and East European Conference on Software Engineering Techniques, Krakow, Poland.
- SOFSEM'09 -- 35th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův mlýn, Czech Republic.
- INFINITY'08 -- 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada. (co-chair)
- CEE-SET'08 -- 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques, Brno, Czech Republic.
- SOQUA'07 -- 4th International Workshop on Software Quality Assurance, Dubrovnik, Croatia.
- PNSE'07 -- International Workshop on Petri Nets and Software Engineering Siedlce, Poland.
- ISIM'07 (Hradec nad Moravicí), ISIM'06 (Přerov) -- International Conference on Information Systems Implementation and Modelling, Czech Republic.
- INFINITY'06 -- 8th International Workshop on Verification of Infinite-State Systems, Bonn, Germany.
- MOCA'06 (Turku, Finlad), MOCA'04, MOCA'02, MOCA'01 (Aarhus, Denmark) -- International Workshops on Modelling of Objects, Components, and Agents.
- Steering commitee of the MEMICS workshop.
- CAV'10 workshop chair -- 22nd International Conference on Computer-Aided Verification, FLoC 2010, Edinburgh, UK.
- Organizing Committee: JCKBSE 2000, DCSE FEECS, Brno University of Technology, Czech Republic, MEMICS'05 and MEMICS'06, FI MU and FIT BUT, Czech Republic.
- Management committee of the ESF COST action IC0901 Rich-Model Toolkit.
- Steering board of the Czech Science Foundations's projects Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (102/09/H042) and Integrated approach to education of PhD students in the area of parallel and distributed systems (102/05/H050).
Projects
- Research group VeriFIT.
- Research on methods for testing inclusion on non-deterministic finite automata (on words, trees, and omega words): www.languageinclusion.org.
- SHADOWS -- Self-Healing Approach to Designing Complex Software Systems
- Cooperation with the program verification group, Verimag, Université Joseph Fourier/CNRS, Grenoble
- Liberouter
- ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols
- PNtalk
- Supporting PhD Studies on Concurrent and Distributed Systems