Activitate didactica:
Introducere in Programare
Limbaje de ProgramareTehnici
de Programare
Structuri de date si algoritmi
Teoria algoritmilor
Teoria functiilor recursive
Programare in Assembler
Arhitectura Calculatoarelor
Matematica Discreta
Algebra pentru Informatica
Limbaje Formale si Automate
Teoria Limbajelor de Programare
Teoria Automatelor
Logica Matematica
Inteligenta Artificiala
Programare Functionala
Teoria Modelelor
Informatica algebrica
Informatica teoretica
Metode topologice in informatica
Metode categoriale in informatica
Logica pentru informatica
Teoria modelelor abstracte
pentru informatica
Scheme de programe. Programare
declarativa
Informatica teoretica,
Informatica algebrica,
Logica pentru informatica