Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Department of Computer Science

Marc Carwehl



Marc is a doctoral student in the Software Engineering Group (Prof. Lars Grunske) at the Humboldt-Universität zu Berlin, Germany. His research interests are in the areas of self-adaptive systems, formal methods (especially runtime verification) and safety. 


Thesis Supervision

  • Survey on Runtime Verification - Eugen Wagner
  • Automatic Generation of Runtime Monitors from Structured Natural Language Using Timed Automatons - Tim Jellinek


Teaching Assistance: 

WiSe 2022: 
  • Seminar Adaptive Systeme
  • Exercise Software Engineering 
  • Exercise Methoden und Modelle des Systementwurfs


SoSe 2022: 
  • Seminar Ausgewählte Themen des Software Engineering
  • Exercise Methoden und Modelle des Systementwurfs


WiSe 2021: 
  • Seminar Automated Software Engineering
  • Exercise Software Engineering 
  • Exercise Requirements Engineering and Software Architecture


Mail Address Visitor Address
Humboldt-Universität zu Berlin
Department of Computer Science
Unter den Linden 6
10099 Berlin
Johann von Neumann-Haus
House IV, 4th floor, room IV.413
Rudower Chaussee 25
12489 Berlin