Previous teaching
- 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 semesters: 2021/2022 - 2024/2025
- Mathematical and computational logic, Undergraduate, 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science,
University of Bucharest,
First semesters: 2015/2016 - 2023/2024, Second semesters: 2025, 2026
- Mathematical logic, Undergraduate, 1st Year, Department of Mathematics, Faculty of Mathematics and Computer Science, University of Bucharest,
Second semesters: 2020 - 2022, 2026
- Advanced Logic for Computer Science, Master's Programme in Security and Applied Logic,
1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest,
First semesters: 2017/2018 - 2020/2021
- Mathematical logic and set theory, Undergraduate, 1st Year, Department of Mathematics, Faculty of Mathematics and Computer Science,
University of Bucharest, First semester 2018/2019
- Model theory, Master's Programme, 1st Year, Department of Computer Science, Faculty of Mathematics and Computer Science,
University of Bucharest, First semesters: 2015 - 2017
- Techniques of combinatorial optimization, Master's Programme, 1st Year,
Department of Computer Science, Faculty of Mathematics and Computer Science,
University of Bucharest, First semesters: 2014/2015 - 2016/2017
- Ergodic theory and additive combinatorics,
Master's Programme, SNSB (Şcoala Normală Superioară Bucureşti), Second semester 2013
- Ergodic Ramsey Theory, Master's Programme,
SNSB (Şcoala Normală Superioară Bucureşti), First semester 2010/2011
- Analysis II for MCS (Mathematics with Computer Science), Undergraduate, 1st Year,
Department of Mathematics, Technische Universität Darmstadt, Second semesters: 2006, 2007
- Analysis I for MCS (Mathematics with Computer Science), Undergraduate, 1st Year,
Department of Mathematics, Technische Universität Darmstadt, First semester 2006/2007