معرفی
Prof. Timo Kehrer is a Professor and Head of the Software Engineering Group (SEG) at the Institute of Computer Science, University of Bern. He also serves as Deputy Director of Studies, overseeing academic programs in software engineering. His research focuses on variability modeling, model-based systems engineering, simulation-based testing of autonomous systems, and empirical studies in software development practices. Key areas include software product lines, cyber-physical systems, and the application of formal methods in industrial contexts.
Notable contributions include work on
- Community-driven variability management in open-source software,
- Automated testing tools like ScoutSL and TEASER,
- Simulation-based frameworks for self-driving cars (e.g., Sensodat datasets), and
- Empirical analyses of GitHub Actions workflows and merge conflict resolution.
His research bridges theory and practice, addressing challenges in software sustainability, AI-driven development, and the integration of formal verification tools like TLA+. He actively participates in conferences such as VaMoS (Variability Modelling) and contributes to open-source projects in model-driven engineering.
Prof. Kehrer collaborates with industry partners to advance tools for model repositories, vulnerability detection (e.g., VUDENC), and semantic analysis of software changes. His work emphasizes reproducibility, tool support for developers, and educational initiatives to modernize software engineering curricula.
