cv

General Information

Full Name Johannes Matthias Hostert
Date of Birth 25th February 2000
Languages English, German

Education

  • 2028 (expected)
    Doctorate (ETH), aka PhD
    ETH Zurich
    • {"Advisor"=>"Ralf Jung"}
  • 2023
    Master of Science
    Saarland University
    • Thesis Title: Logical Foundations Of Language Interoperability Between OCaml And C
    • Supervised by Derek Dreyer, Simon Spies, and Armaël Guéneau
    • Awarded the Günter Hotz Medal
  • 2021
    Bachelor of Science
    Saarland University
    • Thesis Title: The Undecidability Of First-Order Logic over Small Signatures
    • Supervised by Gert Smolka, Dominik Kirst, and Andrej Dudenhefner
    • Awarded the FdSI Bachelor Prize

Teaching

  • 2024-
    TA
    ETH Zurich
    TA for various courses, including Data Structures & Algorithms, ...
  • 2023
    Tutor's Didactics Seminar
    Saarland University
    Co-organizer and Teacher for the Didactics Seminar for new student TAs
  • 2022
    Maths Prep Course (for CS)
    Saarland University
    Head (Co-)Organizer, Lecturer, Textbook (Co-)Author, and Coach for a student volunteer course targeting incoming freshmen
  • 2019-2023
    Student TA
    Saarland University
    Student TA for various courses, including Compiler Construction, Theoretical Computer Science, Programming 1, Programming 2 (3x).

Academic Interests

  • Program Verification
    • Separation Logic
    • Foundational Verification
  • Formal Logic
    • Type Theory
    • Computerized Proof Verification

Other Interests

  • Hobbies: Ice Water Swimming, Regular Swimming, Cooking, Baking
  • Languages: I've been learning French for some time now. Bonjour à tous!