Automated Analysis and Verification Research Group - VeriFIT

https://verifit.webnode.cz/

Supervisor

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

Supervisor

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.

Publications -- records extended with additional information and links

Publications at DBLP

Record at Google Scholar

ha-index: 83

Member

Češka Milan, doc. RNDr., Ph.D.

Member

Fiedor Jan, Ing., Ph.D.

Member

Fiedor Tomáš, Ing., Ph.D.

Member

Havlena Vojtěch, Ing., Ph.D.

Member

Holík Lukáš, doc. Mgr., Ph.D.

Member

Holíková Lenka, Ing., Ph.D.

Member

Janků Petr, Ing., Ph.D.

Member

Křena Bohuslav, Ing., Ph.D.

Member

Lengál Ondřej, Ing., Ph.D.

Member

Malík Viktor, Ing., Ph.D.

Member

Matyáš Jiří, Ing., Ph.D.

Member

Peringer Petr, Dr. Ing.

Member

Rogalewicz Adam, doc. Mgr., Ph.D.

Member

Smrčka Aleš, Ing., Ph.D.

Member

Šoková Veronika, Ing.

Member

Vargovčík Pavol, Ing.

Member

Ph.D. Student

Andriushchenko Roman, Ing.

Ph.D. Student

Dacík Tomáš, Ing.

Ph.D. Student

Hečko Michal, Ing.

Ph.D. Student

Hudák David, Ing.

Ph.D. Student

Chocholatý David, Ing.

Ph.D. Student

Kocourek Tomáš, Ing.

Ph.D. Student

Kozák David, Ing.

Ph.D. Student

Macák Filip, Ing.

Ph.D. Student

Pavela Jiří, Ing.

Ph.D. Student

Rozsíval Michal, Ing.

Ph.D. Student

Síč Juraj, Mgr.

Ph.D. Student

Šedý Michal, Ing.

Ph.D. Student

Šmahlíková Barbora, Ing.

Ph.D. Student

Former team members

Back to top