Teaching Activities
Current Classes (SS 2024)
- Verificare Formala (master; course & lab)
- Techniques for Scientific Work (master; course & seminar)
- How to build a startup - this is a
complementary discipline, generating transversal skills, offered to 2nd and 3rd year undergrad students from all University schools
Past Classes
- Research Practice II (master; seminar; SS2024)
- Techniques for Scientific Work (master; course & seminar; WS2023/2024)
- 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)
- Verificare Formala (master; course & lab; WS2021/2022, WS2022/2023, WS2023/2024)
- Special Topics in Artificial Intelligence (master; course & lab; WS2020/2021, WS2021/2022)
- Inginerie Software (undergrad; course & lab; SS2021, SS2023, SS2024)
- 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, WS2020/2021, WS2021/2022)
- Practice Stage II (undergrad; project based; SS2019, SS2020, SS2021)
- Formal Languages and Automata Theory (undergrad; course & seminar; SS2017, SS2018, 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, WS2018/2019, WS2019/2020, WS2020/2021, , 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, WS2016/2017, WS2017/2018, WS2018/2019, WS2019/2020, 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, SS 2015, SS2016, SS2017)
Contact: Mădălina ERAŞCU.