Teaching in 2024/2025

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


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