Philipp Stassen
Consultant at Senacor Technologies
Greater Munich Metropolitan Area Germany
Summary
👤
Senior🎓
Top SchoolPhilipp Stassen is a Consultant and Computer Science PhD with eight years of experience applying formal, mathematical methods to verify and secure cyber-physical systems. He has translated academic rigor into industry impact—most recently analysing aviation system threats with model checkers at Airbus Defence and Space and now advising clients at Senacor Technologies. Comfortable bridging experts and stakeholders, he combines deep theoretical insight from a PhD at Aarhus and a mathematics master's from Stockholm with practical engineering in high-stakes domains. Known for precise communication and cross-domain adaptability, he thrives in collaborative teams that need both formal verification expertise and pragmatic solutions. An unassuming detail: his background in pure mathematics often guides novel modelling perspectives that reveal subtle failure modes overlooked by conventional testing.
8 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Aarhus UniversityBachelor of Science - BS, Mathematics, gut (2.5), Bachelor of Science - BS, Mathematics, gut (2.5) at The University of BonnMaster's degree, Mathematics, Excellent (A), Master's degree, Mathematics, Excellent (A) at Stockholm University
Github Skills (12)
der7
tla5
verification4
agda4
compiler-optimization4
logic4
dependent-types3
homotopy-type-theory3
model-checking3
declarative-programming3
coq3
haskell2
Programming languages (2)
Github contributions (5)
philippstassen/initiality
Sep 2019 - Mar 2020
A formalized proof of a version of the initiality conjecture
Contributions:161 pushes, 8 branches in 5 months
conjectureproof-assistanthomotopy-type-theorytheorem-proving
philippstassen/philippstassen.github.io
Dec 2022 - Jan 2025
Contributions:20 pushes, 1 branch in 2 years 2 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.