Forschungsaktivität

Werdegang

• Studium der Informatik bis 2019 an der Technischen Hochschule MIttelhessen
• Bis 2021 Software Engineer
• Seit März 2021 Doktorand an der Technischen Hochschule Mittelhessen in Kooperation mit der Justus-Liebig Universität
• Bis März 2026 wissenschaftlicher Mitarbeiter und Dozent an der Technischen Hochschule Mittelhessen

Schwerpunkte

• Programmiersprachen (Design & Implementierung)
• Typsysteme und Typentheorie
• Metaprogrammierungswerkzeuge

 Projekte

• Promotion über die Anwendung von intuitionistischer Typentheorie in Programmiersprachen
• Laufendes Forschungsprojekt über die Syntaxabstraktion in Programmiersprachen

https://www.thm.de/mni/bjoern-loetters