Faculty of Information Technology, BUT

Doc. Mgr.

Adam Rogalewicz

Ph.D.

Associate professor

+420 54114-1188
rogalew@fit.vut.cz
Office A307

Curriculum

Education

Tools

  • ARTMC - a prototype implementation of our technique for verification of programs with dynamic data structures
  • Forester - Tool for Verification of Programs with Pointers
  • Slide - Automata-based entailment checking for Separation Logic with Inductive Definitions
  • INCLUDER - a prototype tool for trace inclusion checking on data word automata

Awards

Other interests

Rock climbing
Crosscountry skiing
Hiking
Cooking
Guitar
Back to top