Martin Sulzmann
Professor at Hochschule Karlsruhe - Technik und Wirtschaft
Mannheim, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolMartin Sulzmann is a professor and researcher with 13+ years of professional experience specializing in programming languages, type systems, and compiler design. He has held academic posts across Europe and Asia—including Yale-trained PhD credentials and faculty roles at the National University of Singapore, IT University of Copenhagen, and Hochschule Karlsruhe—bridging deep research with practical software engineering. His work spans functional, logic, constraint, and concurrent programming, bringing formal methods into real-world systems and teaching. Prior industry roles as a software engineer and consultant reflect a pragmatic bent that complements his theoretical expertise. Based in Mannheim, Germany, he combines international academic leadership with hands-on experience building and evaluating language technologies.
13 years of coding experience
10 years of employment as a software developer
Dipl.-Inform, Computer Science, Dipl.-Inform, Computer Science at Karlsruhe Institute of Technology (KIT)PhD, Computer Science, PhD, Computer Science at Yale UniversityComputer Science, Computer Science at Hochschule Furtwangen
Github Skills (5)
time-series9
monitoring9
prometheus8
timeseries-database8
graphing8
Programming languages (3)
Github contributions (5)
sulzmann/ProgrammingParadigms
Sep 2019 - Dec 2022
Contributions:240 commits, 338 pushes, 11 branches in 3 years 3 months
sulzmann/SoftwareProjekt
Jun 2019 - Jan 2023
Contributions:288 commits, 404 pushes, 13 branches 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.