Formal Methods for Software Engineering: A Semester in Review

As another semester comes to a close, it’s time to reflect on the journey through the Formal Methods for Software Engineering course. This semester, we embraced change, introducing new teaching methods and tools to enhance the learning experience. One notable addition was the integration of GitHub Classroom for assignments, a decision that brought about unexpected insights and learning experiences. GitHub Classroom and Automated Feedback One notable shift this semester was the adoption of GitHub Classroom for assignments....

February 1, 2024 · 3 min · Soaib

Summaery 2023

Every year, Bauhaus University Weimar hosts Summaery, a week-long annual exhibition, showcasing ingenious projects and ideas developed by its students throughout the academic year. As a newcomer to the university, Summaery 2023 was my first experience of this remarkable event, and it certainly didn’t disappoint me. Here in the faculty of Media, we started it with an open lab night. The theme of the open lab night was “Bytes, Beer, and Sausages - Open Labs at the Faculty of Media” a playful nod to the intersection of technology, socializing, and culinary delights....

July 20, 2023 · 2 min · Soaib

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 Media in collaboration with the Career Service of Bauhaus-Universität Weimar, the event provided invaluable insights into the intricacies of the job search and application process in Germany. The program comprised a comprehensive lecture followed by an informative panel discussion, during which I had the honor of being a speaker....

June 3, 2023 · 2 min · Soaib