Teaching Activities
During the SS2021 all classes will take place online. The material will be available on Google Classroom (code to
be handed in by email before first meeting). The meetings will take place on Google Meet (the code to be handed in before
the first meeting, the code will be for the whole semester).
Office hours during the SS2021: Fri 13:30 - 14:30 or by appointment, online using Google Meet.
Current Classes
- Formal Languages and Automata Theory (undergrad; course and seminar)
- Inginerie Software (undergrad; course and lab)
- Bachelor Thesis Preparation (undergrad; seminar)
- Practice Stage II (in English, project based)
Past Classes
- Special Topics in Artificial Intelligence (grad; course & lab; WS2020/2021)
- Logic for Computer Science (undergrad; lab; WS2020/2021)
- Software Engineering (undergrad; lab; SS2020)
- Bachelor Thesis Preparation (undergrad; seminar; SS2020)
- Methodology for Writing the Bachelor Thesis (undergrad; seminar; WS2019/2020, WS2020/2021)
- Practice Stage II (undergrad; project based; SS2019, SS2020)
- Formal Languages and Automata Theory (undergrad; course & seminar; SS2017, SS2018, SS2019, SS2020)
- Metode Formale in Dezvoltarea Aplicatiilor Software (undergrad; course & lab; SS2017, WS2017/2018, WS2020/2021)
- Formal Methods in Software Development (undergrad; course & lab; SS2017, WS2017/2018, WS2018/2019, WS2019/2020, WS2020/2021)
- 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 (grad; lab; WS 2015/2016, WS 2016/2017)
- Automated Theorem Proving & Demonstrarea Automata a Teoremelor (grad; lab; SS 2014, SS 2015, SS2016, SS2017)
Contact: Mădălina ERAŞCU.