Official photograph RNDr. Martin Jonáš, Ph.D.

RNDr. Martin Jonáš, Ph.D.

učo 359542
Assistant professor KTP FI MU
Room C415
Botanická 68a
Brno
549 49 5086
martin(tečka/dot)jonas(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz

Department

Department of Computer Science – Faculty of Informatics
Positionassistant professor
RoomC415 (Botanická 68a, Brno)
Phone number549 49 5086

Studies

Programme FI D-IN4 Informatics (4-years), doctoral degree programme
Supervisorprof. RNDr. Jan Strejček, Ph.D.
Statusstate examination passed and studies completed, degree conferred: Ph.D., in 2019
Thesis/DissertationSatisfiability of Quantified Bit-Vector Formulas: Theory and Practice
Field of StudyFI IN Informatics
Programme FI Rig-IN Informatics, Advanced Master's state examination
Statusstate examination passed and studies completed, degree conferred: RNDr., in 2017
Thesis/DissertationSMT Solving for the Theory of Bit-Vectors
Field of StudyFI IN Informatics
Programme FI N-IN Informatics, Master's degree programme
Statusstate examination passed and studies completed, degree conferred: Mgr., in 2014
Thesis/DissertationDescription of regular languages using predicate logic
Field of StudyFI TEI Theoretical Informatics
Record of Study Results
Programme FI B-AP Applied Informatics, Bachelor's degree programme
Statusstate examination passed and studies completed, degree conferred: Bc., in 2012
Thesis/DissertationAssessment of functional programming exercises
Field of StudyFI BcAP Applied Informatics