Marek Chalupa

I am currently a Ph.D. candidate at the Faculty of Informatics of Masaryk University in Brno. My Superviser is Jan StrejĨek. My research interests are program analysis and verification.

-- Contact

-- Projects I work on

Symbiotic -- a tool for faster verification of LLVM bitcode. I am the main developer of dg library which implements various program analyses and contains a static program slicer for LLVM bitcode that is used in Symbiotic.

-- Teaching

-- Publications