Martin Jonáš

I was a Ph.D. student at the Faculty of Informatics, Masaryk University, Brno. My supervisor was Jan Strejček. Since November 2019, I have been post-doctoral researcher at Fondazione Bruno Kessler, Trento, Italy.

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

PhD Thesis

Publications

Teaching

I have been seminar tutor for the following courses at FI MUNI:

Service