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

RNDr. Martin Jonáš, Ph.D.

učo 359542

Studies

Programme FI D-IN4 Informatics (4-years), doctoral degree programme
Supervisordoc. 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

The Personal Page is being displayed with the following user's consent: Martin Jonáš, 27/5/2021