Prof. Ing. Tomáš Vojnar, Ph.D.

Research Interests:

• Computer-aided formal analysis and verification in general and especially over
  
  • infinite-state and/or parameterized systems and
  • dynamically structured and/or object-oriented systems.
• See also the research group VeriFIT.

Professional career:

• 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.

Memberships:

• Editorial board of the CAI journal.
• Steering commitee of the MEMICS workshop.
• Program Committees:
  • INFINITY'13 -- 15th International Workshop on Verification of Infinite-State Systems, Hanoi, Vietnam.
  • MUSEPAT'13 -- International Conference on Multicore Software Engineering, Performance, and Tools, St. Petersburg, Russia.
  • SV-COMP'13 -- 2nd International Competition on Software Verification held at TACAS'13, Rome, Italy.
  • 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.
  • SV-COMP'12 -- 1st International Competition on Software Verification held at TACAS'12, 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.
• 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