Curriculum Vitae
Deusche Version
1. Personal Information
| Name | Richard Stewing |
|---|---|
| Date of Birth | 22.04.1997 in Dorsten |
| Location | |
| Tel. | |
| Marital Status | single |
| richard@stewing.dev | |
| Website | stewing.dev |
| Focus Areas | Details |
|---|---|
| Computer Science | Programming, Formal Logic, and Software Verification |
| Teaching | Functional Programming, Logic for Computer Science, Introduction to Programming |
| Research Topics | Model checking, Software Verification, Taint Analysis, Type Systems, Symbolic Execution, Penetration Tests |
| Professional Experience | |
|---|---|
| October 2021 – Present | Research Assistant, TU Dortmund University, Dortmund, Germany |
| - Research Assistant at the Department of Computer Science. | |
| - Academic and research work. | |
| - During WS 2024/2025 and SS 2025: organized and delivered the introductory programming course, including creating, grading, and presenting exercises and finals. | |
| - Responsible for management and coordination of 20 student teaching assistants. | |
| - Since October 2025: responsible for managing development of Konstraints (github.com/tudo-aqua/konstraints). | |
| 2020 | Participant at Senacor Data Lab |
| 2017 – 2019 | Teaching Assistant, TU Dortmund University, Dortmund, Germany |
| - Tutor for Functional Programming | |
| - Tutor for Logic for Computer Science | |
| - Writing documentation for Expander 2 and Expander 3 |
| Languages and Additional | |
|---|---|
| Languages | German (5), English (4) |
| Additional | DLRG Silver (5), Programming (4) |
| Education | Entry |
|---|---|
| 2021 | Graduation from TU Dortmund (M.Sc. Computer Science, 1.4). |
| 2019 – 2021 | Studied at TU Dortmund. |
| 2019 | Graduation from TU Dortmund (B.Sc. Computer Science, 1.9). |
| 2016 – 2019 | Studied at TU Dortmund. |
| 2015 – 2016 | Studied at University of Idaho (Campus Moscow, ID). |
| 2015 | Graduation from St. Ursula Gymnasium (A Levels, 2.1). |
| 2012 | Visiting Burnaby Mountain Secondary for seven months, Burnaby, British Columbia, Canada. |
| 2007 – 2015 | Secondary School: St. Ursula Gymnasium, Dorsten. |
| 2003 – 2007 | Primary School: Johannes Grundschule, Dorsten. |
| Projects and Achievements | |
|---|---|
| October 2025 – Present | Constraint Solving with Konstraints |
| - As part of my work as a research assistant, I manage development of the Konstraints project. | |
| - Source code: github.com/tudo-aqua/konstraints. | |
| Summer 2024 – Present | Open Source Teaching Language (WHILE*) |
| - As part of my work as a research assistant, I contribute to the open-source teaching language project WHILE*. | |
| - Source code: github.com/tudo-aqua/whilestar. | |
| - Frontend demo: wiz.cs.tu-dortmund.de. | |
| May 2026 – Present | WHILE* Language Support |
| - Development of a VS Code extension for the WHILE* teaching language. | |
| - Source code: github.com/haetze/whilestar-language-support. | |
| 2022 – Present | Model Checking for Register Automata |
| - Research work on model checking for register automata as part of my role as research assistant. | |
| November/December 2022 | AIxIA and OVERLAY |
| - Participation at AIxIA 2022 and participation at OVERLAY 2022 workshop with contribution. | |
| - Contribution available upon request. | |
| September 2022 | SEFM Summer School |
| - Participation at SEFM Summer School. | |
| 2021 – Present | GDart: Sound Taint Checking and Symbolic Execution |
| - Research on including sound taint checking in GDart and extending symbolic execution with class-dependent path logic. | |
| - Project repository: github.com/tudo-aqua/gdart. | |
| 2020 | Master Thesis |
| - Master thesis about Taint Analysis with a Simply Typed Lambda Calculus. | |
| - Thesis available upon request. | |
| 2020 | P5-Projektgruppen-Praxis-Preis |
| - Won P5-Projektgruppen-Praxis-Preises 2019 from the Department of Computer Science. | |
| - Project repository: github.com/tudo-aqua/pinaht. | |
| - Project report available upon request. | |
| 2019 | Bachelor Thesis |
| - Bachelor thesis about Regular Model Checking. |
| References | |
|---|---|
| Available upon request. |