KIV/BZINF - Státnice pro informatiky
KIV/TI - Teoretická informatika
KIV/FJP - Formální jazyky a překladače
KIV/OS
