
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#
[June 2025]: Our paper “On Writing SMT-LIB Scripts: Metrics and a new Dataset” has been accepted at SMT 2025 in Glasgow, UK
[June 2025]: I will be presenting our paper “On Writing Alloy Models: Metrics and a new Dataset” at the ABZ'25 conference in Düsseldorf, Germany
[June 2025]: I will be attending the SPECS Smmer School 2025 in Pittsburgh, USA
[Apr 2025]: Joining the Program Committee of SLE AE 2025