Teaching in 2025/2026

• Logic for Multiagent Systems, Master 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Winter Semester 2025/2026


• Logică matematică și computaţională, Anul I, Departamentul de Informatică, Facultatea de Matematică şi Informatică, Universitatea din Bucureşti, Semestrul II 2026


• Logică matematică, Anul I, Departamentul de Matematică, Facultatea de Matematică şi Informatică, Universitatea din Bucureşti, Semestrul II 2026