Martin Jonáš

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



My main research interests are SAT/SMT solving and program analysis and verification.
Other fields of computer science I am interested in but I don't conduct research at, include functional programming, (dependent) type theory and theorem proving.