Karl Stroetmann
Professor Für Lehraufgaben at DHBW Mannheim
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 (20)
der10
in-progress10
sprache10
machine-learning10
cas10
formal-languages10
deep-learning10
wolfram-language10
algebra9
data-structures9
python8
programming-language8
linear-algebra8
compiler7
interpreter6
Programming languages (5)
Github contributions (5)
karlstroetmann/Statistik
Feb 2018 - Oct 2018
Contributions:77 commits, 6 PRs, 66 pushes in 8 months
karlstroetmann/Logic
Aug 2014 - Dec 2021
Hier finden Sie die Unterlagen zu meiner einführenden Informatik-Vorlesung, die sich im wesentlichen mit der Mengenlehre, der Logik und der Sprache SetlX beschäftigt.
Contributions:510 commits, 26 PRs, 527 pushes in 7 years 5 months
dievorlesungunterlagenderhier
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.