Christoph Welzel-mohr
Prüfer at Atruvia AG
Ismaning, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolChristoph Welzel-mohr is a computer scientist with 11 years of experience who completed a PhD in theoretical computer science at TUM after top-ranked Bachelor’s and Master’s degrees from RWTH Aachen. His research centers on proving correctness of parameterized systems—software composed of an arbitrary number of interacting participants—combining theoretical analysis with practical tool development. He has implemented prototypes primarily in Python and a thesis tool in Java leveraging LearnLib and AutomataLib, while valuing Ada’s strengths for provable software. As a long-time student tutor he taught formal logic, automata theory and complexity, bringing clear pedagogical skills to research and engineering collaboration. Now working as a Prüfer at Atruvia AG, he blends formal-methods rigor with pragmatic engineering to deliver reliable, verifiable software. An under-the-radar strength is his sustained focus on bridging automata-learning libraries with verification workflows to make formal proofs more automatable and usable in practice.
11 years of coding experience
6 years of employment as a software developer
Doktor (Ph.D.), Computer Science, Doktor (Ph.D.), Computer Science at TUMMaster of Science - MS, Computer Science, 1.2, with distinction, Master of Science - MS, Computer Science, 1.2, with distinction at RWTH Aachen University
Github Skills (24)
xlib5
machine-learning4
game-ai4
python4
logic4
xorg3
project-management3
tiling2
bash2
linux2
reinforcement-learning2
xcb2
window-manager2
procedure2
shell2
Programming languages (6)
Github contributions (5)
weltoph/buk-tools
Nov 2016 - Nov 2017
Contributions:63 commits, 1 PR, 45 pushes in 11 months
teachingpythonmachine-learningbasic-programming
weltoph/sem-pebbles
May 2016 - Apr 2018
Contributions:6 pushes in 1 year 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.