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.

ha-index: 83.


Professional career:

Memberships:

  • Editorial board of the CAI journal.
  • Program Committees:
    • 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:

Your IPv4 address: 54.81.216.254
Switch to IPv6 connection

DNSSEC [dnssec]