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. |
- E-mail: carwehl (at) informatik.hu-berlin.de
- Phone: +49 (0)30 2093-41146
- Google Scholar
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 |