Thomas is a postdoctoral researcher in the Software Engineering Group at the Humboldt-Universität zu Berlin. From 10/2021 to 09/2022, he was stand-in professor for Empirical Software Engineering at Paderborn University. Previously, he was a doctoral student in the System Analysis and Modeling Group at the Hasso Plattner Institute at University of Potsdam, where he received his Ph.D. degree with summa cum laude in 2018.
He studied Information Systems and graduated with distinction from the University of Bamberg.
His research interests are in the areas of (search-based and model-driven) software engineering, self-adaptive & intelligent/autonomous systems, and automated quality assurance of software as well as the combination of these areas.
Note (Jan 2024)
I am on parental leave from January to August 2024.
During this time, I am not available for service such as reviews. I am not teaching and won’t be accepting new students for bachelor’s or master’s theses.
E-mail: thomas.vogel (at) informatik.hu-berlin.de
You can follow me on Mastodon via @tomvog@mastodon.acm.org and Twitter via @tomvog.
Mail Address in Berlin
Humboldt-Universität zu Berlin
Department of Computer Science
Unter den Linden 6
10099 Berlin
Visitor Address in Berlin
Johann von Neumann-Haus
House IV, 4th floor, room IV.412
Rudower Chaussee 25
12489 Berlin
Things Happening
- Jan 2024 — I am on parental leave from January to August 2024.
- Dec 2023 — I am very happy that Arut Prakash Kaleeswaran, a mentee of mine, successfully defended his PhD thesis entitled Explanation of the Model Checker Verification Results. Congratulations!
- Nov 2023 — I am very happy that Sona Ghahremani, a mentee of mine, successfully defended her PhD thesis entitled Incremental Self-Adaptation of Dynamic Architectures Attaining Optimality and Scalability with summa cum laude. Congratulations!
- Nov 2023 — We will present our work on Runtime Verification of Self-Adaptive Systems with Changing Requirements in an accepted talk at the GI Software Engineering conference (SE 2024).
- Oct 2023 — I will be teaching the following courses this semester: Adaptive Systeme (Seminar, Master), Software Engineering (Tutorial, Bachelor), and Methoden und Modelle des Systementwurfs (Tutorial, Master).
- Sep 2023 — Our article A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch has been published in the Empirical Software Engineering (EMSE) journal.
- Aug 2023 — I was invited to the PC of the Research Papers Track of the 17th International Conference on Software Testing, Verification and Validation (ICST 2024). Consider submitting high-quality testing, verification, or validation papers.
- Jul 2023 — I was invited to the PC of the 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). Consider submitting your work on self-adaptive software systems.
- Jun 2023 — Our article A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch has been accepted for publication in the Empirical Software Engineering (EMSE) journal (Preprint of the accepted article).
- May 2023 — I was nominated to the Steering Committee of the International Conference on Self-Adaptive and Self-Managing Systems (SEAMS) taking on the role of Publicity Strategy Liaison.
- May 2023 — I am the Program Committee Co-Chair of the Hot off the Press (HOP) Track of the 15th International Symposium on Search-Based Software Engineering (SSBSE 2023).
- May 2023 — Edited book Concurrency, Specification and Programming has been published at Springer and is now available.
Things Happened
Here
Communities