Official photograph RNDr. Martin Jonáš
  

RNDr. Martin Jonáš

učo 359542
martin(tečka/dot)jonas(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz

Studies

FI Rig-IN Informatics, Advanced Master's state examination, 2017 (completed)
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
FI N-IN Informatics, Master's degree programme, 2014 (completed)
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
FI B-AP Applied Informatics, Bachelor's degree programme, 2012 (completed)
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