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 examine the socio-technical implications of these technologies, particularly how they affect privacy, security, safety, and trust in marginalized contexts.
- 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#
[Apr 2025]: Joining the Program Committee of SLE AE 2025
[Mar 2025]: Our paper “On Writing Alloy Models: Metrics and a new Dataset” is accepted at the ABZ'25.
[Sep 2024]: I will be presenting my work on “Towards Comparing Learned Classifiers” at the FM 2024 conference doctoral symposium.