Martina Vitovská

Office C408
E-mail vitoma@mail.muni.cz
Github xvitovs1

I am a PhD candidate at the Faculty of Informatics, Masaryk University, Brno. My supervisor is Jan Strejček.

Research

My main research interests are program analysis and verification. I am one of the developers of Symbiotic, a tool for verification of programs in LLVM.

Publications

Teaching