Forschungsaktivität

Werdegang

  • Studium der Informatik bis 2019 an der Technischen Hochschule MIttelhessen
  • Bis 2021 Software Engineer
  • Seit 2021 Doktorand an der Technischen Hochschule Mittelhessen in Kooperation mit der Justus-Liebig Universität
  • Seit 2021 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