Curriculum Vitae

since September, 2024
GREAT LEAP Cost Action (greatleap.eu)
Working Group 3 — Full Member
since October, 2023
PhD Student in CRT-AI at University of Limerick.
SFI-funded Scholarship
November, 2022
Rewarded with P5 Project Group Price during DAT 2022 as member of the PG 646 project group for the work of "Painless HomeAutomation", a simplicity-oriented solution for smart-home verification based on low-code/no-code principles.
October, 2022
Participation in ISoLA 2022 (Paper Presentation & Doctoral Symposium — see Publication).
October, 2021
Organized a two-day workshop on CI/CD during ISoLA 2021/STRESS. The workshop consisted of lectures, hands-on exercises and feedback rounds. The results were gathered and used for later evaluation (see Publication).
May, 2021 — October, 2023
Research Assistant at Chair V for Programming Systems, TU Dortmund University, Germany.
2021 — 2024
Masters degree in computer science at TU Dortmund University, Germany.
2014 — 2015
Plugin featured as staff pick in the WoltLab Plugin Store.
2013 — 2019
Freelancer, offering IT consulting and software development
2009 — 2021
Bachelor's degree in computer science at TU Dortmund University, Germany.
Minor subject: Economics
Until 2009
Abitur at Gymnasium Hammonense, Hamm

Publications

ORCID iD icon https://orcid.org/0000-0002-6483-3162
  • Teumert, S., Krause, M., Steffen, B. (2023). SOS-Supported Graph Transformation. In 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium. Electronic Communications of the EASST, Volume 82. DOI: 10.14279/TUJ.ECEASST.82.1220
  • Tegeler, T., Boßelmann, S., Schürmann, J., Smyth, S., Teumert, S., Steffen, B. (2022). Executable Documentation: From Documentation Languages to Purpose-Specific Languages. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022. Lecture Notes in Computer Science, vol 13702. Springer, Cham. https://doi.org/10.1007/978-3-031-19756-7_10
  • Teumert, S., Tegeler, T., Schürmann, J., Busch, D., Wirkner, D. (2022). Evaluation of Graphical Modeling of CI/CD Workflows with Rig. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022. Lecture Notes in Computer Science, vol 13702. Springer, Cham. https://doi.org/10.1007/978-3-031-19756-7_21
  • Tegeler T., Teumert S., Schürmann J., Bainczyk A., Busch D., Steffen B. (2021) An Introduction to Graphical Modeling of CI/CD Workflows with Rig. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2021. Lecture Notes in Computer Science, vol 13036. Springer, Cham. https://doi.org/10.1007/978-3-030-89159-6_1
  • Teumert, S. (2021) Visual Authoring of CI/CD Pipeline Configurations. Bachelor’s thesis, TU Dortmund University. archived at Archive.org.

Scientific Work & Projects

  • Rig | Low-Code CI/CD Modeling

    Rig is an Integrated Modeling Environment (IME) for CI/CD Pipelines, and provides a visual authoring canvas to graphically compose and implement CI/CD workflows.
  • SOS-supported Graph-Transformation

    Eclipse RCP/Cinco & Xtext based transformation toolkit that implements model-to-model transformations using a two-part rule system, where the computational aspect is inspired by Plotkins SOS.

Certificates

  • English — Advanced (145/160)

    "Can understand a variety of demanding written and spoken language including some specialized language use situations. Can grasp implicit, figurative, pragmatic, and idiomatic language. Can use language flexibly and effectively for most social, academic, and professional purposes."
  • Research on health inequalities using longitudinal demographic data

    Lund University (Sweden), June 24 — July 4, 2024