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

Výzkumné zájmy:

  • Automatizovaná formální analýza a verifikace obecně a zvláště pak nad
    • nekonečně stavovými a/nebo parametrickými systémy a
    • dynamicky strukturovanými a/nebo objektově orientovanými systémy.
  • Viz také výzkumná skupina VeriFIT.

ha-index: 83.


Profesionální kariéra:

  • 2012: profesor v oboru výpočetní technika a informatika
  • 2007: docent v oboru výpočetní technika a informatika
  • 2005--2008: výzkumník zapojený (na částečný úvazek) sdružením CESNET do projektu Liberouter
  • 2005, červen/červenec: zvaný výzkumník v laboratoři LIAFA, Université Paris 7--Denis Diderot/CNRS, Francie.
  • 2001--2003: PostDoc v laboratoři LIAFA, Université Paris 7--Denis Diderot/CNRS, Francie v rámci projektu ADVANCE.
  • 1999-2007: odborný asistent na FIT (dříve FEI), VUT v Brně.
  • 2001: Ph.D. v oblasti informatiky a kybernetiky, ÚIVT FEI VUT v Brně.
  • 1996: Ing. v oblasti informatiky a výpočetní techniky, ÚIVT FEI VUT v Brně.

Členství:

  • Ediční rada časopisu CAI.
  • Řídící výbor workshopu MEMICS.
  • Programové výbory:
    • 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, Rusko.
    • SV-COMP'13 -- 2nd International Competition on Software Verification organizovaná v rámci TACAS'13, Řím, Itálie.
    • SVARM-VERIFY'12 -- Joint SVARM & VERIFY Workshop 2012, Manchester, Velká Británie.
    • FOSSACS'12 -- 15th International Conference on Foundations of Software Science and Computation Structures, Tallinn, Estonsko.
    • SV-COMP'12 -- 1st International Competition on Software Verification organizovaná v rámci TACAS'12, Tallinn, Estonsko.
    • MEMICS'12 (Znojmo, PC co-chair), MEMICS'11 (Lednice, PC co-chair), MEMICS'10 (Znojmo, 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, ČR.
    • 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, Německo.
    • SOFSEM'11 -- 37th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovensko.
    • CEE-SET'11 -- 5th IFIP TC2 Central and East European Conference on Software Engineering Techniques, Debrecín, Maďarsko.
    • INFINITY'10 --12th International Workshop on Verification of Infinite-State Systems, Singapur.
    • GandALF'10 -- 1st International Symposium on Games, Automata, Logics and Formal Verification, Minori, Itálie.
    • SVARM'10 -- Workshop on Synthesis, Verification, and Analysis of Rich Models, Edinburgh, Velká Británie. (co-chair)
    • SOFSEM'10 -- 36th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův mlýn, ČR.
    • ICTAC'09 -- 6th International Colloquium on Theoretical Aspects of Computing, Kuala Lumpur, Malajsie.
    • CEE-SET'09 -- 4rd IFIP TC2 Central and East European Conference on Software Engineering Techniques, Krakow, Polsko.
    • SOFSEM'09 -- 35th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův mlýn, ČR.
    • INFINITY'08 -- 10th International Workshop on Verification of Infinite-State Systems, Toronto, Kanada. (co-chair)
    • CEE-SET'08 -- 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques, Brno, ČR.
    • SOQUA'07 -- 4th International Workshop on Software Quality Assurance, Dubrovník, Chorvatsko.
    • PNSE'07 -- International Workshop on Petri Nets and Software Engineering Siedlce, Polsko.
    • ISIM'07 (Hradec nad Moravicí), ISIM'06 (Přerov) -- International Conference on Information Systems Implementation and Modelling, ČR.
    • INFINITY'06 -- 8th International Workshop on Verification of Infinite-State Systems, Bonn, Německo.
    • MOCA'06 (Turku, Finsko), MOCA'04, MOCA'02, MOCA'01 (Aarhus, Dánsko) -- International Workshops on Modelling of Objects, Components, and Agents.
  • CAV'10 workshop chair -- 22nd International Conference on Computer-Aided Verification, FLoC 2010, Edinburgh, UK.
  • Organizační výbor: JCKBSE 2000, ÚIVT FEI VUT v Brně, MEMICS'05 a MEMICS'06, FI MU a FIT VUT v Brně.
  • Řídící výbor ESF COST akce IC0901 Rich-Model Toolkit.
  • Vedení doktorských projektů GA ČR Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (102/09/H042) a Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů (102/05/H050).

Projekty:

Vaše IPv4 adresa: 184.72.91.94
Přepnout na IPv6 spojení

DNSSEC [dnssec]