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

RNDr. Martin Jonáš, Ph.D.

absolvent 2012, 2014, 2017, 2019, učo 359542
martin(tečka/dot)jonas(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz

Studium

Informatika (čtyřleté), Fakulta informatiky
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
Informatika, Fakulta informatiky
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
Informatika, Fakulta informatiky
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
Aplikovaná informatika, Fakulta informatiky
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áš, 19. 4. 2022