Martin Jonáš

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

Contact


Research

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

Projects

Publications

Teaching

I have been seminar tutor for the following courses at my faculty:

Service