Previous teaching
- Logic for Multiagent Systems,
Master 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest,
Winter Semester 2021/2022, Winter Semester 2022/2023, Winter Semester 2023/2024
- Logică matematică și computaţională, Anul I,
Departamentul de Informatică, Facultatea de Matematică şi Informatică, Universitatea din Bucureşti,
Semestrul I 2015/2016, Semestrul I 2016/2017, Semestrul I 2017/2018, Semestrul I 2018/2019, Semestrul I 2019/2020,
Semestrul I 2020/2021, Semestrul I 2021/2022, Semestrul I 2022/2023, Semestrul I 2023/2024
- Logică matematică,
Anul I, Departamentul de Matematică, Facultatea de Matematică şi Informatică,
Universitatea din Bucureşti, Semestrul II 2020, Semestrul II 2021,
Semestrul II 2022
- Advanced Logic for Computer Science, Master 1st Year, Department of Computer Science,
Faculty of Mathematics and Computer Science, University of Bucharest,
Winter Semester 2020/2021
- Logică avansată pentru informatică,
Master Anul I, Departamentul de Informatică, Facultatea de Matematică şi Informatică,
Universitatea din Bucureşti, Semestrul I 2017/2018, Semestrul I 2018/2019,
Semestrul I 2019/2020
- Logică matematică și teoria mulţimilor,
Anul I, Departamentul de Matematică, Facultatea de Matematică şi Informatică,
Universitatea din Bucureşti,
Semestrul I 2018/2019
- Teoria modelelor, Master I,
Departamentul de Informatică, Facultatea de Matematică şi Informatică,
Universitatea din Bucureşti,
Semestrul II 2015, Semestrul II 2016, Semestrul II 2017
- Tehnici de optimizare combinatorială, Master I,
Departamentul de Informatică, Facultatea de Matematică şi Informatică,
Universitatea din Bucureşti,
Semestrul I 2014/2015, Semestrul I 2015/2016, Semestrul I 2016/2017
- Ergodic theory and additive combinatorics,
SNSB, Master Lecture,
Summer Semester 2013
- Ergodic Ramsey Theory, SNSB,
Master Lecture, Winter Semester 2010/2011
- Analysis II for MCS, Technische Universität Darmstadt,
Summer Semester 2007, Summer Semester 2006
- Analysis I for MCS, Technische Universität Darmstadt,
Winter Semester 2006/2007