Teaching in 2026/2027

• Logic for Multiagent Systems, Master's Programme in Security and Applied Logic, 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, First semester 2026/2027


• Mathematical and Computational Logic, Undergraduate, 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Second semester 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