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