Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Terru Stübinger

Terru Stübinger, M.Sc.

Researcher / PhD Student
Room 247, Building 50.34
Phone: +49 721 608-43859
Fax:      +49 721 608-44021
terru stuebingerXwx3∂kit edu
 KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany


Interests

  • Foundations of Logic as applied in 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

2024
Title Author(s) Source
Extending Isabelle/HOL's Code Generator with Support for the Go Programming LanguageTerru Stübinger and Lars Hupel26th International Symposium on Formal Methods (FM 2024), Part II
Go Code Generation for IsabelleTerru Stübinger and Lars HupelArchive of Formal Proofs