Karl Stroetmann
Professor Für Lehraufgaben at DHBW
Mannheim, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolKarl Stroetmann is a seasoned academic and educator with over two decades teaching mathematics, theoretical computer science, and formal methods at DHBW institutions in Mannheim and Stuttgart. His background blends a PhD in mathematics and a Diplom in physics with industry research experience at Siemens, where he worked on formal methods. He teaches core topics such as logic, algorithms, formal languages and compilers, translating deep theoretical concepts into practical coursework. Known for sustained commitment to teaching since 2002, he combines rigorous research foundations with decades of classroom practice. Based in Mannheim, he brings a rare mix of industrial research experience and long-term academic leadership that benefits students aiming for both theory and application.
12 years of coding experience
11 years of employment as a software developer
Diplom, Physics, Diplom, Physics at University of MünsterDoctor of Philosophy (PhD), Mathematics, Doctor of Philosophy (PhD), Mathematics at Westfälische Wilhelms-Universität Münster / University of Muenster
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (19)
algorithms10
python10
in-progress10
sprache10
formal-languages10
ai10
wolfram-language10
logic10
linear-algebra9
compiler9
machine-learning8
interpreter8
programming-language8
git6
julia4
Programming languages (5)
Github contributions (5)
karlstroetmann/Statistik
Feb 2018 - Oct 2018
Contributions:77 commits, 6 PRs, 66 pushes in 8 months
karlstroetmann/Algorithms
Feb 2014 - Dec 2022
lecture notes for the algorithms class together with most of the programs
Contributions:1 review, 582 commits, 24 PRs in 8 years 11 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.