Björn Lötters

Doktorand at Technische Hochschule Mittelhessen

Gießen, Hesse, Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Björn Lötters is a software engineer and Ph.D. candidate in computer science who specializes in software architecture, language design and type theory, combining academic rigor with 11 years of applied industry experience. Currently a lecturer at Technische Hochschule Mittelhessen, he researches trade-offs in software design while teaching compiler construction and algorithms, bridging theory and practice. His background spans embedded electronics through an apprenticeship as an electrician to full-stack software engineering roles and data science, giving him a rare end-to-end perspective on abstraction layers. He has a top‑graded MSc in Informatics and a strong interest in meta-programming and programming language design, which informs both his research and practical system designs. Colleagues know him as a pragmatic scientist who foregrounds explicit trade-offs—quality, sustainability, and profitability—when architecting solutions. Always curious, he welcomes collaborations and challenges that push the intersection of theory and real-world software systems.
code11 years of coding experience
bookRealschulabschluss, Realschulabschluss at Ricarda-Huch-Schule
bookMaster of Science - MS, Informatics, 1,0, Master of Science - MS, Informatics, 1,0 at Technische Hochschule Mittelhessen
bookFachhochschulreife, Fachhochschulreife at Theodor-Litt-Schule Gießen
bookBerufsausbildung, Elektroniker für Betriebstechnik, Berufsausbildung, Elektroniker für Betriebstechnik at Stadtwerke Gießen AG
languagesEnglish, French, German
github-logo-circle

Github Skills (32)

servant6
sat6
idris5
syntax5
hackage5
java5
polymorphism5
parser5
tlaplus4
agda4
parser-combinators4
interpreted-programming-language4
happy4
template-engine4
calculus4

Programming languages (4)

JavaCJavaScriptHaskell

Github contributions (5)

github-logo-circle
bowl-project/bowl-api

Dec 2019 - Aug 2023

Contributions:1 PR, 32 pushes, 1 branch in 3 years 8 months
bowl-project/bowl-kernel

Dec 2019 - Aug 2023

Contributions:2 PRs, 21 pushes, 1 branch in 3 years 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Björn Lötters - Doktorand at Technische Hochschule Mittelhessen