About
header
badge test
subheader
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vivamus non magna ex. Donec sollicitudin ut lorem quis lobortis. Nam ac ipsum libero. Sed a ex eget ipsum tincidunt venenatis quis sed nisl. Pellentesque sed urna vel odio consequat tincidunt id ut purus. Nam sollicitudin est sed dui interdum rhoncus.
Experience#
Research Associate / PhD Candidate#
Bauhaus University Weimar — Weimar, Germany Oct 2022 – Present
- Provided graduate teaching assistance for Formal Methods for Software Engineering and Generative Software Engineering courses
- Mentored student projects, including Software Engineering for Autonomous Vehicles
- Conducted research in formal methods and specification languages
- Maintained servers and performed system administration tasks
Research Assistant#
Chemnitz University of Technology — Chemnitz, Germany Apr 2022 – Aug 2022
- Built a scalable object detection application on resource-constrained edge devices
- Designed a garage for Unmanned Aircraft Systems
Research Assistant#
Fraunhofer IWU — Chemnitz, Germany Jul 2020 – Mar 2022
- Developed an Augmented Reality application using HoloLens 2
- Developed Machine Tool Automation using Kotlin and BPMN
Education#
Master of Science: Automotive Software Engineering#
Chemnitz University of Technology — Chemnitz, Germany Oct 2019 – Sep 2022
Thesis: Insulator Detection Based on a Single-Stage Detector
Bachelor of Science: Computer Science & Engineering#
American International University – Bangladesh — Dhaka, Bangladesh Sep 2014 – Dec 2018
Thesis: Attention-Based English to Bangla Machine Translation Using Sequence-to-Sequence Learning with Neural Networks
Publications#
Soaibuzzaman, J. Döring, S. Kasi, J.O. Ringert. On the Comparison of Learned Classifiers. Software Engineering and Formal Methods. SEFM 2025.
Soaibuzzaman, J.O. Ringert. On Writing SMT-LIB Scripts: Metrics and a new Dataset. International Workshop on Satisfiability Modulo Theories. SMT 2025. CEUR, pp. 91–102 (2025).
Soaibuzzaman, S. Kalantari, J.O. Ringert. On Writing Alloy Models: Metrics and a new Dataset. Rigorous State-Based Methods. ABZ 2025. LNCS, vol 15728. Springer (2025). DOI: 10.1007/978-3-031-94533-5_5
Soaibuzzaman, J.O. Ringert. Introducing GitHub Classroom into a Formal Methods Module. Formal Methods Teaching. FMTea 2024. LNCS, vol 14939. Springer (2024). DOI: 10.1007/978-3-031-71379-8_2
Soaibuzzaman. Towards Comparing Learned Classifiers. Doctoral Symposium. FM 2024.
M. Salim Harras, Soaibuzzaman, S. Saleh, and W. Hardt. Exploring SSD Detector for Power Line Insulator Detection on Edge Platform. Embedded Selforganising Systems, vol. 10, no. 5, pp. 13–17, Nov. 2023. DOI: 10.14464/ess.v10i5.603
B. Battseren, M. Harras and Soaibuzzaman. Deep-Learning-Based Insulator Detector for Edge Computing Platforms. International Symposium on Computer Science, Computer Engineering and Educational Technology (ISCSET-2021), Lauta, Germany, 2021, pp. 21–28.
S. Ahmed, Soaibuzzaman, S. Rahman, and M. Saiedur Rahaman. A Blockchain-based Architecture for Integrated Smart Parking Systems. PerAwareCity'19 – 4th IEEE International Workshop on Pervasive Context-Aware Smart Cities and Intelligent Transport Systems, Kyoto, Japan, Mar. 2019. DOI: 10.1109/PERCOMW.2019.8730772
Projects#
FM Playground (Sep 2022 – Present)#
An online platform that allows users to run formal methods tools directly in the browser. Currently supports Limboole, Z3, Alloy, nuXmv, and Spectra. In-browser language support is in progress.
MLDiff (Sep 2025)#
A novel approach to comparing learned classifiers based on SMT.
Alloy Langium (Aug 2025)#
A language server for Alloy based on Langium.
SMT-LIB Langium (Aug 2025)#
A language server for the SMT-LIB language based on Langium.
VS Code Extensions: Limboole & Z3 (Sep 2024)#
Visual Studio Code extensions for Limboole and Z3 Solver, featuring language support for Limboole and syntax highlighting for SMT-LIB2 files.
TUC Share (2021)#
A content sharing application with distributed block list services.
Seq2seq-E2B (2018)#
An attention-based English-to-Bangla machine translation model using sequence-to-sequence learning with neural networks.
Skills#
| Area | Technologies |
|---|---|
| Formal Methods | SMT, Alloy, SMV, Spectra |
| Programming Languages | Python, C/C++, Java, TypeScript |
| Databases | PostgreSQL, PL/pgSQL, MongoDB |
| Data Science & ML | TensorFlow, Keras, scikit-learn, ONNX, Hugging Face |
| DevOps & Version Control | Git, Docker, CI/CD, Kubernetes |
| Libraries & Frameworks | OpenCV, OpenGL, OPC-UA, Node.js, React, Flask, FastAPI, Spring Boot |
| Specialized Areas | Formal Specification, Software Synthesis, Model-Driven Development |
| Other Tools | ROS, Arduino, System Administration |
Talks & Workshops#
“Analyses of Evolution in Specifications” — June 2025 2nd International Summer School on Formal Specifications and Analysis for Software Engineers (SPECS), Carnegie Mellon University, USA
Volunteer & Professional Service#
- Artefact Evaluation Committee — ECOOP 2026
- Artefact Evaluation Committee — FM 2026
- Artefact Evaluation Committee — SLE 2025
- Artefact Evaluation Committee — FM 2023
Honors & Awards#
- Morgan Deters Travel Award (2025) — 23rd International Workshop on Satisfiability Modulo Theories
- Runners-up, Idea Prototyping (2017) — AIUB CS Fest
- 26th, Divisional Science Olympiad (2013) — Bangladesh Academy of Sciences
- 16th, National Math Olympiad (2013) — Bangladesh Mathematical Olympiad
Languages#
| Language | Proficiency |
|---|---|
| English | Professional |
| German | Elementary |
| Bengali | Native |