Blog

Resources and insights from our participation in the NFDIxCS Summer School 2025, including the Formal Methods Playground, research papers, datasets, and a poster presentation.

Reflecting on teaching Formal Methods for Software Engineering with GitHub Classroom integration and the development of FM Playground. Insights on automated feedback, TDD implementation, and educational technology innovations.

Experience Summaery 2023 at Bauhaus University Weimar featuring Machine Learning on Microcontrollers (MLOM) and Software Engineering for Trusted Automotive Vehicles (SETAV) projects from the Software Engineering Professorship.

A reflection on attending the "How to Find a Job in the German Labour Market" program at Bauhaus University Weimar, sharing insights on job hunting, CV preparation, and navigating the German job market. Personal experiences and industry perspectives are discussed.