NFDIxCS Summer School 2025
This page provides information and resources related to our participation in the NFDIxCS Summer School 2025 . Resources Formal Methods Playground Playground GitHub Repository Paper…
Posts
Formal Methods for Software Engineering: A Semester in Review
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.
Summaery 2023 - Annual Exhibition at Bauhaus University Weimar
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.
Navigating the German Labour Market: Insights from Bauhaus University Weimar
Recently, I had the privilege of attending a program at Bauhaus University Weimar titled “How to Find a Job in the German Labour Market”. Organized by the Faculty of…