Výuka
Konzultační hodiny
Po přechodzí domluvě v předem neomezených termínech (případně mě zkuste kdykoliv zastihnout v kanceláři, pokud to půjde, budu se Vám věnovat).
Vyučované předměty
| SAV |
Statická analýza a verifikace
Přednáška, česky, zimní, UITS |
| SLOa |
Složitost (v angličtině)
Přednáška, anglicky, letní, UITS |
| TIN |
Teoretická informatika
Cvičení odborného základu, Projekt, Seminář, česky, zimní, UITS |
| IOS |
Operační systémy
Přednáška, česky, anglicky, letní, UITS |
| IZLO |
Základy logiky pro informatiky
Cvičení, Projekt, Přednáška, česky, letní, UITS |
| MAD |
Vybrané kapitoly z matematiky
Přednáška, česky, anglicky, letní, UITS |
| FAD |
Formální analýza programů
Přednáška, česky, anglicky, zimní, UITS |
| IAM |
Pokročilá matematika
Cvičení na počítači, Přednáška, česky, anglicky, letní, UITS |