Björn Lötters

Björn Lötters, M.Sc., is a Lecturer and research associate at the Technical University of Central Hesse (THM) within the Department of Mathematics, Natural Sciences and Computer Science. He is also a doctoral student in collaboration with the Justus Liebig University. His primary teaching responsibilities include courses on functional programming, compiler construction, and programming language design, with a focus on empowering students to explore advanced topics like dependent types and syntax abstraction.

• Education: Studied computer science at THM until 2019.
• Career: Worked as a software engineer until 2021, then transitioned to academia as a research associate and lecturer at THM.

Research Focus:

• Programming languages (design & implementation)
• Type systems and type theory
• Metaprogramming tools
• Software architecture and design

His ongoing research projects include a doctoral thesis on the application of intuitionistic type theory in programming languages and a study on syntax abstraction mechanisms. He actively supervises bachelor's and master's theses, offering topics related to dependent type elaborators, reference management systems, and educational LISP platforms.