“Formal methods are the poetry of precise thought.”
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, quality of specifications, reactive synthesis, and trusted and explainable AI. 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 on the project AUDIo and the IFC Lab of the Technische Universität Chemnitz on the project APOLI.
Besides my academic life, I am a mountain lover, bookworm, and nature explorer. I love to take photographs from time to time. You can check out my gallery for some of my photographs.
News
- Apr 14, 2026 Reviewed first journal paper for the Software and Systems Modeling (SoSyM) journal
- Mar 23, 2026 I will attend the RoboStar Summer School 2026, York, UK
- Jan 23, 2026 Joining the Program Committee of ECOOP AE 2026
- Dec 01, 2025 Joining the Program Committee of FM AE 2026
- Nov 09, 2025 I will be presenting at SEFM 2025 in Toledo, Spain
- Aug 12, 2025 Our paper “On the Comparison of Learned Classifiers” has been accepted at SEFM 2025 in Toledo, Spain
- Aug 11, 2025 I will be attending NFDIxCS Summer School
- Aug 10, 2025 Attending SMT 2025
- Jun 15, 2025 Our paper “On Writing SMT-LIB Scripts: Metrics and a new Dataset” has been accepted at SMT 2025 in Glasgow, UK
- Jun 10, 2025 I will be presenting at ABZ 2025 in Düsseldorf, Germany
- Jun 01, 2025 I will be attending the SPECS Summer School 2025 in Pittsburgh, USA
- Apr 01, 2025 Joining the Program Committee of SLE AE 2025