Oficiální fotografie RNDr. Martin Jonáš, Ph.D.

RNDr. Martin Jonáš, Ph.D.

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

Studium

Program FI D-IN4 Informatika (čtyřleté), doktorský studijní program
Školiteldoc. RNDr. Jan Strejček, Ph.D.
Stavukončení studia včetně státní zkoušky, udělen titul: Ph.D., v roce 2019
Závěrečná práceSatisfiability of Quantified Bit-Vector Formulas: Theory and Practice
OborFI IN Informatika
Program FI Rig-IN Informatika, rigorózní řízení
Stavukončení studia včetně státní zkoušky, udělen titul: RNDr., v roce 2017
Závěrečná práceSMT Solving for the Theory of Bit-Vectors
OborFI IN Informatika
Program FI N-IN Informatika, magisterský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Mgr., v roce 2014
Závěrečná prácePopis regulárních jazyků pomocí predikátové logiky
OborFI TEI Teoretická informatika
Výsledky studia
Program FI B-AP Aplikovaná informatika, bakalářský studijní program
Stavukončení studia včetně státní zkoušky, udělen titul: Bc., v roce 2012
Závěrečná práceVyhodnocování úloh z funkcionálního programování v IS
OborFI BcAP Aplikovaná informatika

Osobní stránka je zobrazena se souhlasem uživatele: Martin Jonáš, 13. 5. 2020