Stefan Dollase

Mail
stefan.dollase@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
Interests
  • Heap Shape Analysis
  • Termination Analysis
  • Static Program Analysis
  • Type Systems
  • Distributed Computing
  • Software Engineering
  • Reading
Research Assistant and PhD Student since
April 2018

Teaching

Winter Semester 2018/2019

Lecture
Programmierung
Seminar
Verification Techniques

Summer Semester 2019

Lecture
Datenstrukturen und Algorithmen
Seminar
Verification Techniques
Seminar
Satisfiability Checking
Proseminar
Advanced Programming Concepts

Winter Semester 2018/2019

Lecture
Programmierung
Seminar
Verification Techniques