Skip to main content
Soaibuzzaman

Soaibuzzaman

PhD Candidate | Research Associate | Formal Methods et al.

Hi, Thanks for stopping by! I am Soaibuzzaman (Soaib). I am working as a Research Associate and a PhD candidate at the Software Engineering Professorship under the supervision of Prof. Dr Jan Oliver Ringert at the Bauhaus-Universität Weimar.

My research focuses on formal methods and specifications, reactive synthesis, and trusted and explainable AI. My work aims to enhance the quality of specifications and utilizes formal methods to tackle issues of bias, fairness, transparency, and safety. I am also interested in the application of formal methods in the context of explainable AI and autonomous system.

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 (07/20-03/22) on the project AUDIo and the IFC Lab (04/22-08/22) of the Technische Universität Chemnitz on the project APOLI (Automated Power Line Inspection).

Besides my academic life, I am a mountain lover, bookworm, and nature explorer.


Recent Updates
#