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

RNDr. Martin Jonáš, Ph.D.

učo 359542
Odborný asistent KTP FI MU
Místnost C415
Botanická 68a
Brno
549 49 5086
martin(tečka/dot)jonas(zavináč/atsign)mail(tečka/dot)muni(tečka/dot)cz

Pracoviště

Katedra teorie programování - Fakulta informatiky
Pracovní zařazeníodborný asistent
MístnostC415 (Botanická 68a, Brno)
Telefon549 49 5086

Studium

Program FI D-IN4 Informatika (čtyřleté), doktorský studijní program
Školitelprof. 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