Limbaje formale si automate, curs si seminar la anul 1, semestrul 2, Informatica
Programare logica, curs si laborator la anul 3, semestrul 2, Mate-Info
Dezvoltare de software, laborator la anul 4, semestrul 2, Informatica
Calculabilitate si compexitate, seminar la anul 4, semestrul 1, Informatica
Calculabilitate si complexitate, seminar la anul 2, semestrul 1, Informatica
