About
Hi! I'm a computer science graduate student from the Technical University of Munich. I mostly work with theoretical concepts of computer science, such as formal methods and CAV, decision procedures used for verifying safety-critical systems, or programming languages and their analysis.
Some topics I have recently worked on include temporal logic model checking, SSA-based program transformation, hardware synthesis, implementing and verifying constant-time cryptographic schemes, and using interactive protocols to certify the results of -complete problems in practice.
My previous work, mainly during my undergraduate education at HM, focused on RISC-V, hardware acceleration for WebAssembly, and efficient program interpreters for constrained devices like microcontrollers.
Education
| Institution | Degree | Graduated |
|---|---|---|
| Technical University of Munich | M.Sc. in Informatics | October 2025 |
| Munich University of Applied Science | B.Sc. in Computer Science | March 2023 |
Publications
- Embench IOT 2.0 and DSP 1.0: Modern Embedded Computing Benchmarks
- David A. Patterson et al. 2025. Computer. 58, 5, pp. 37-47. <10.1109/MC.2024.3511352>
- Benchmarking WebAssembly for Embedded Systems.
- Konrad Moron and Stefan Wallentowitz. 2025. ACM Trans. Archit. Code Optim. 22, 3, Article 83. <10.1145/3736169>
- Support for Just-in-Time Compilation of WebAssembly for Embedded Systems.
- Konrad Moron and Stefan Wallentowitz. 2023. MECO 2023. pp. 1-4. <10.1109/MECO58584.2023.10155088>
Recommended Reading
For an introduction to some of the most interesting topics of computer science, I recommend:
- The Little Typer [1]
- Software Foundations [2]
- Decision Procedures — An Algorithmic Point of View [3]
- Engineering a Compiler [4]
References
| [1] | Daniel P. Friedman and David T. Christiansen, 2018, MIT Press, URL |
| [2] | https://softwarefoundations.cis.upenn.edu/ |
| [3] | Daniel Kroening and Ofer Strichman, 2016, Springer, URL |
| [4] | Keith D. Cooper and Linda Torczon, 2022, Morgan Kaufmann, URL |