Oficiální fotografie RNDr. Martin Jonáš
  

RNDr. Martin Jonáš

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

Pracoviště

Katedra teorie programování - Fakulta informatiky (externí spolupráce)

Studium

FI Rig-IN Informatika, rigorózní řízení, 2017 (úspěšně abs.)
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
FI N-IN Informatika, magisterský studijní program, 2014 (úspěšně abs.)
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
FI B-AP Aplikovaná informatika, bakalářský studijní program, 2012 (úspěšně abs.)
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