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. As a fellow with the AAIP, he is also associated with the University of York where he collaborates with the TASP group led by Prof. Radu Calinescu. Marc's 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: 

SoSe 2023:
  • Seminar Automated Software Engineering
  • Exercise Safe and Reliable Software Systems


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.414
Rudower Chaussee 25
12489 Berlin