Christoph Sticksel
Senior Team Leader And Principal Software Engineer at MathWorks
Boston, Massachusetts, United States
Summary
👤
SeniorChristoph Sticksel is a Principal Software Engineer and Senior Team Leader at MathWorks with 12 years of experience applying formal methods and automated reasoning to scale verification for industrial-size software and hardware systems. He leads the teams behind Simulink Design Verifier and Simulink Coverage, tools that automate test generation, measure model test quality, and statically verify models against requirements in model-based design workflows. His background includes postdoctoral research in model checking and first-order automated theorem proving and university teaching in logic, foundations, and programming languages. Christoph blends deep research pedigree with product-focused engineering, translating cutting-edge verification techniques into tools relied on across safety-critical and embedded systems. Based in Boston, he is known for advancing state-of-the-art approaches that make formal verification practical at scale.
12 years of coding experience
Stackoverflow
29reputation
305reached
0answers
1question
Github Skills (10)
lustre10
model-checking10
checker10
smt10
quantifiers6
z36
theorem5
major-mode2
emacs1
emacs-lisp1
Programming languages (2)
Github contributions (5)
chsticksel/kind2
Jan 2015 - Aug 2015
Contributions:1 PR, 241 pushes, 14 branches in 6 months
model-checkersmtcheckerpropertieslustre
chsticksel/ocamlczmq
Jun 2015 - Jan 2016
Contributions:2 PRs, 4 pushes in 7 months
high-levelocamlbinding
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.