Interests
- Foundations of Logic as applied to interactive theorem provers such as Isabelle
- Semantics of functional programming languages
- As part of the Convide Project I work on formalising consistency in view-based development approaches
Open invitation: Inspired by Lars Hupel, here's an open invitation: If you want to talk about any of the above topics, I want to talk to you! Feel free to send me an email or approach me at a conference.
If you're a student: I don't currently have a list of project ideas here, but if you're looking for a (Forschungspraktikum, PdF, ...) project or thesis touching on the above topics, feel free to get in touch & let's talk about possibilities!
Publications
| Titel | Autor(en) | Quelle |
|---|---|---|
| Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language | Terru Stübinger und Lars Hupel | 26th International Symposium on Formal Methods (FM 2024), Teil II |
| Go Code Generation for Isabelle | Terru Stübinger und Lars Hupel | Archive of Formal Proofs |