Stefan Dollase
- Mail
- stefan.dollase [at] cs.rwth-aachen.de
- Phone
- +49 241 80 21241
- Fax
- +49 241 80 22217
- Office
-
- Room 4209
- Ahornstraße 55
- 52056 Aachen
- Germany
- Address
-
- Lehr- und Forschungsgebiet Informatik 2
- RWTH Aachen
- 52056 Aachen
- Germany
- Research Focus
-
- Term Rewriting
- Data-Flow Analysis
- Complexity Analysis
- Termination Analysis
- Static Program Analysis
- Verification
- Co-Developer of Tools
-
- Research Assistant and PhD Student since
- April 2018
Teaching
Summer Semester 2023
- Proseminar
- Advanced Programming Concepts
Winter Semester 2022/2023
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2022
- Lecture
- Data Structures and Algorithms
- Seminar
- Satisfiability Checking
- Proseminar
- Advanced Programming Concepts
Winter Semester 2021/2022
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2021
- Lecture
- Data Structures and Algorithms
- Proseminar
- Advanced Programming Concepts
Winter Semester 2020/2021
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2020
- Lecture
- Data Structures and Algorithms
- Seminar
- Satisfiability Checking
- Proseminar
- Advanced Programming Concepts
Winter Semester 2019/2020
- Lecture
- Programming
- Seminar
- Verification Techniques
Summer Semester 2019
- Lecture
- Data Structures and Algorithms
- Seminar
- Verification Techniques
- Seminar
- Satisfiability Checking
- Proseminar
- Advanced Programming Concepts
Winter Semester 2018/2019
- Lecture
- Programming
- Seminar
- Verification Techniques