Teaching Activities
Current Classes (SS 2026)
- Inginerie Software (undergrad; course)
- Formal Languages and Automata Theory (undergrad; seminar)
Past Classes
- Verificare Formala (master; course & lab; WS2021/2022-WS2025/2026)
- How to build a startup (undergrad; course & lab; WS2024/2025, WS2025/2026) - this is a
complementary discipline, generating transversal skills, offered to 2nd and 3rd year undergrad students from all University schools
- Formal Languages and Automata Theory (undergrad; course & seminar: SS2017-SS2021; seminar: SS2022-SS2025)
- Research Practice II (master; seminar; SS2024, SS2025)
- Techniques for Scientific Work (master; course & seminar; WS2023/2024, WS2024/2025)
- Entrepreneurship Skills - practical applications (undergrad; course & lab; SS2023, SS2024) - this is a
complementary discipline, generating transversal skills, offered to 2nd and 3rd year undergrad students from all University schools
- Entrepreneurship Skills (undergrad; course; WS2022/2023, WS2023/2024)
- Special Topics in Artificial Intelligence (master; course & lab; WS2020/2021, WS2021/2022)
- Inginerie Software (undergrad; course & lab: SS2021, SS2023; course: SS2024, SS2025)
- Logic for Computer Science (undergrad; seminar; WS2020/2021)
- Software Engineering (undergrad; lab; SS2020)
- Bachelor Thesis Preparation (undergrad; seminar; SS2020, SS2021)
- Methodology for Writing the Bachelor Thesis (undergrad; seminar; WS2019/2020-WS2021/2022)
- Practice Stage II (undergrad; project based; SS2019, SS2020, SS2021)
- Metode Formale in Dezvoltarea Aplicatiilor Software (undergrad; course & lab; SS2017, WS2017/2018, WS2020/2021, WS2021/2022)
- Formal Methods in Software Development (undergrad; course & lab; SS2017, WS2017/2018-WS2021/2022)
- Tehnici de compilare (undergrad; course & lab; SS2016)
- Calcul Simbolic (undergrad; course & lab; SS2016)
- Symbolic Computation (undergrad; course & lab; SS2016)
- Logica computationala (undergrad; seminar; WS 2015/2016, WS 2016/2017)
- Algoritmica si Structuri de Date 1 (undergrad; lab; WS2015/2016-WS2020/2021)
- Structuri de Date (undergrad; lab; SS 2015)
- Data Structures (undergrad; lab; SS 2015)
- Algoritmica (undergrad; lab; WS 2014/2015)
- Programare I (undergrad; lab; WS 2014/2015)
- Programare III (undergrad; lab; WS 2014/2015)
- Tehniques for scientific work & Tehnici de baza in activitatea stiintifica (master; lab; WS 2015/2016, WS 2016/2017)
- Automated Theorem Proving & Demonstrarea Automata a Teoremelor (master; lab; SS 2014-SS2017)
Contact: Mădălina ERAŞCU.