Soaibuzzaman

Hi there, and thanks for stopping by! I am Soaibuzzaman (feel free to call me Soaib). I am currently a Research Associate and PhD Candidate at the Software Engineering Professorship at Bauhaus University Weimar, working under the supervision of Prof. Dr Jan Oliver Ringert .

My research is deeply rooted in formal methods, specification quality, and reactive synthesis, with a focus on trusted and explainable AI. More specifically, I study the quality of formal specifications—how they are written, how they evolve, and how they can be improved. This includes understanding patterns in how practitioners write specifications and identifying and addressing potential issues.

Alongside my research, I am actively involved in teaching and mentoring. I have supported graduate courses such as Formal Methods for Software Engineering and Generative Software Engineering , and have supervised student projects—including work on software engineering challenges for autonomous vehicles.

I received my master’s in Automotive Software Engineering from the Chemnitz University of Technology and my bachelor’s in Computer Science and Engineering from American International University-Bangladesh . During my master’s studies, I worked as a research assistant at the Fraunhofer IWU on the project AUDIo and the IFC Lab of the Technische Universität Chemnitz on the project APOLI .

When I step away from my research, I enjoy spending time outdoors and exploring beyond the screen. I’m a bookworm , a mountain lover , a nature explorer, and someone who finds clarity in long walks and quiet landscapes.

• I’m an avid hiker and trekker, with some memorable experiences in the Himalayas
• From time to time, I try to capture the beauty of the world through my lens
• I contributed to a Bengali book on Everest
• I love to document my journeys, thoughts, and experiences by writing for my Blog (in Bengali).