Teaching Activities

Current Classes

• Verificare Formala (in Romanian, master; course & lab)
• Entrepreneurship Skills (in English, undergrad; course)

Past Classes

• Verificare Formala (master; course & lab; WS2021/2022)
• Special Topics in Artificial Intelligence (master; course & lab; WS2020/2021, WS2021/2022)
• Logic for Computer Science (undergrad; lab; WS2020/2021)
• Inginerie Software (undergrad; course & lab; SS2021)
• 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.