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

Back to top