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

Marc Carwehl

 

IMG_0392.jpeg

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