Scholar
Martin Jonáš
Google Scholar ID: Vn7qwewAAAAJ
Faculty of Informatics, Masaryk University
Citations & Impact
Citations
183
H-index
8
i10-index
6
Publications
20
Co-authors
18
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers such as 'Combining Symbolic Execution with Predicate Abstraction and CEGAR' (FMCAD 2024), 'Truncating abstraction of bit-vector operations for BDD-based SMT solvers' (Theoretical Computer Science 1008), and more. All publications can be found on Google Scholar or DBLP.
Research Experience
- Currently an assistant professor at the Faculty of Informatics, Masaryk University, Brno, Czech Republic. Previously, a post-doctoral researcher at the Embedded Systems unit of Fondazione Bruno Kessler, Trento, Italy for three years.
Education
- PhD in Theoretical Computer Science from Masaryk University, Brno, Czech Republic in 2019; Master’s degree in Theoretical Computer Science from Masaryk University, Brno, Czech Republic in 2014; Bachelor’s degree in Applied Computer Science from Masaryk University, Brno, Czech Republic in 2012.
Background
- Main research interests include SAT/SMT solving, (quantified) bit-vectors, and program analysis and verification. Also interested in functional programming and theorem proving, though not conducting research in these areas.
Miscellany
- Academic service includes being a member of the CADE 2025 Program Committee, Co-Chair of the ATVA 2024 Artifact Evaluation Committee, Organizer of SMT-COMP 2024, and more.
