Skip to top bar Skip to header Skip to content Skip to footer

People

Personal Page RNDr. Martin Jonáš, Ph.D.

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 call

martinjonasmailmunicz

Upload a file into this person's Depository

Workplace and Studies
Teaching
Supervisor
Publications
Projects
Profile

Department

Department of Computer Science – Faculty of Informatics
Position	assistant professor
Room	C415 (Botanická 68a, Brno)
Phone number	549 49 5086 call

Studies

Informatics (4-years), Faculty of Informatics, 2019 (completed, Ph.D.)
Programme	FI D-IN4 Informatics (4-years), doctoral degree programme
Supervisor	prof. RNDr. Jan Strejček, Ph.D.
Status	state examination passed and studies completed, degree conferred: Ph.D., in 2019
Thesis/Dissertation	Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
Field of Study	FI IN Informatics

Informatics, Faculty of Informatics, 2017 (completed, RNDr.)
Programme	FI Rig-IN Informatics, Advanced Master's state examination
Status	state examination passed and studies completed, degree conferred: RNDr., in 2017
Thesis/Dissertation	SMT Solving for the Theory of Bit-Vectors
Field of Study	FI IN Informatics

Informatics, Faculty of Informatics, 2014 (completed, Mgr.)
Programme	FI N-IN Informatics, Master's degree programme
Status	state examination passed and studies completed, degree conferred: Mgr., in 2014
Thesis/Dissertation	Description of regular languages using predicate logic
Field of Study	FI TEI Theoretical Informatics
Record of Study Results

Applied Informatics, Faculty of Informatics, 2012 (completed, Bc.)
Programme	FI B-AP Applied Informatics, Bachelor's degree programme
Status	state examination passed and studies completed, degree conferred: Bc., in 2012
Thesis/Dissertation	Assessment of functional programming exercises
Field of Study	FI BcAP Applied Informatics

Report inappropriate content