Philip Offtermatt
Solutions Architect at Informal Systems
Based in Munich, Germany
7-day free trial · no credit card
Seniority
Staff
Department
Information Technology
Location
Munich
Industry
Software Development
Company size
61
Contact information
Reveal Philip's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
p•••••••@informal.systems
Phone
5 credits+49 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Philip Offtermatt
I'm a Research Engineer at Informal Systems, working on the security and reliability of critical code in the Cosmos Ecosystem, in particular the Cosmos Hub and Interchain Security. For this, I'm leveraging my training in formal verification, modeling and theoretical computer science. I hold a PhD from the Université de Sherbrooke in Sherbrooke, Quebec, Canada, supervised by Michael Blondin and Filip Mazowiecki. My research is concerned with verifying increasingly complex, interconnected and impactful software systems. I am interested in formal methods, their implementation, and their applications.
Decision-makers
Other people at Informal Systems
Build a list of verified contacts at Informal Systems
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Philip
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime