RNDr. Martin Jonáš, Ph.D.
učo 359542
Odborný asistent KTP FI MU
jonas
mailPracoviště
| Katedra teorie programování – Fakulta informatiky | |
|---|---|
| Pracovní zařazení | odborný asistent |
| Místnost | C415 (Botanická 68a, Brno – 4. nadzemní podlaží) |
| Telefon | 549 49 5086 volat |
| Katedra strojového učení a zpracování dat – Fakulta informatiky | |
|---|---|
| Pracovní zařazení | odborný asistent |
Členství v akademických orgánech
Studium
| Informatika (čtyřleté), Fakulta informatiky, 2019 (úspěšně abs., Ph.D.) | ||
|---|---|---|
| Program | FI D-IN4 Informatika (čtyřleté), doktorský studijní program | |
| Školitel | prof. RNDr. Jan Strejček, Ph.D. | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Ph.D., v roce 2019 | |
| Závěrečná práce | Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice | |
| Obor | FI IN Informatika | |
| Informatika, Fakulta informatiky, 2017 (úspěšně abs., RNDr.) | ||
|---|---|---|
| Program | FI Rig-IN Informatika, rigorózní řízení | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: RNDr., v roce 2017 | |
| Závěrečná práce | SMT Solving for the Theory of Bit-Vectors | |
| Obor | FI IN Informatika | |
| Informatika, Fakulta informatiky, 2014 (úspěšně abs., Mgr.) | ||
|---|---|---|
| Program | FI N-IN Informatika, magisterský studijní program | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2014 | |
| Závěrečná práce | Popis regulárních jazyků pomocí predikátové logiky | |
| Obor | FI TEI Teoretická informatika | |
| Výsledky studia | ||
| Aplikovaná informatika, Fakulta informatiky, 2012 (úspěšně abs., Bc.) | ||
|---|---|---|
| Program | FI B-AP Aplikovaná informatika, bakalářský studijní program | |
| Stav | ukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2012 | |
| Závěrečná práce | Vyhodnocování úloh z funkcionálního programování v IS | |
| Obor | FI BcAP Aplikovaná informatika | |