RNDr. Martin Jonáš, Ph.D.
učo 359542
Assistant professor KTP FI MU
jonas
mailDepartment
| Department of Computer Science – Faculty of Informatics | |
|---|---|
| Position | assistant professor |
| Room | C415 (Botanická 68a, Brno – 4. nadzemní podlaží) |
| Phone number | 549 49 5086 call |
| Department of Machine Learning and Data Processing – Faculty of Informatics | |
|---|---|
| Position | assistant professor |
Membership in academic institutions
| Masaryk University | |
|---|---|
| Boards and councils | |
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 | |