Jonathan Brachthäuser
Full Professor at University of Tübingen
Tübingen, Baden-Württemberg, Germany
Summary
🤩
Rockstar🎓
Top SchoolJonathan Brachthäuser is a Full Professor of Software Engineering and Programming Languages at the University of Tübingen with 15 years of research and engineering experience spanning academia and industry. His work focuses on effect systems, control flow, compiler diagnostics, and type inference, with hands-on contributions to prominent open-source projects like the Scala 3 compiler and the Scala language/documentation sites. He has driven both foundational research and practical implementations—implementing recursion schemes in Matryoshka, improving Scala 3 parsing and error messages, and contributing to the Koka language compiler. Jonathan bridges rigorous formal methods with developer-facing tooling, improving usability (e.g., clearer docs and download flows) as well as core compiler behavior. His trajectory includes a PhD from Tübingen, a postdoc at EPFL, and a Microsoft research internship, reflecting a mix of deep theory and production-quality engineering. Colleagues value him for making subtle language-design improvements that yield outsized benefits in error reporting and developer experience.
15 years of coding experience
7 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at Marburg UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of TübingenBachelor of Science - BS, Medieninformatik (Computer Science and Media), Bachelor of Science - BS, Medieninformatik (Computer Science and Media) at Stuttgart Media University
Stackoverflow
78reputation
2kreached
3answers
2questions
Github Skills (27)
error-reporting10
type-inference10
website-development10
compiler-development10
testing10
scala10
dotty10
compiler-design10
parsing10
jekyll10
html10
functional-programming10
text-parsing10
documentation10
sbt9
Programming languages (17)
Github contributions (5)
scala/docs.scala-lang
Nov 2020 - May 2021
The Scala Documentation website
Role in this project:
Technical Writer
Technical WriterContributions:99 reviews, 119 commits, 72 PRs in 5 months
Contributions summary:Jonathan's contributions primarily focused on updating and restructuring the documentation website for the Scala programming language. They introduced a new language selection page, integrated Scala 3 documentation, and modified the layout to improve user experience. Significant changes include refactoring of includes, adjusting the TOC, and adding clear disclaimers about the pre-release status of Scala 3.
documentation-websitescalascala-documentation
scala/scala-lang
Apr 2017 - May 2021
sources for the Scala language website
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:13 reviews, 12 commits, 5 PRs in 4 years 1 month
Contributions summary:Jonathan contributed to the Scala language website by modifying HTML layouts and includes related to the download section. They added separate download pages and instructions for Scala 2 and Scala 3. Their work involved updating content, including links to relevant resources like sbt and Coursier, and improving the overall presentation of the download instructions.
dslscalasbtsourcesscala-native
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.