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 verification 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 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
#

  • [Sep 2024]: I will be presenting my work on “Towards Comparing Learned Classifiers” at the FM 2024 conference doctoral symposium.