Services and Skills
(Post-)Quantum Cryptography
Head over to neverlocal.com. I am not available for private consulting on this.
Economic Formal Verification
Head over to 20squares.xyz. I am not available for private consulting on this.
Development Advisor
I will lead your developers in implementing your ideas in the most consistent and reliable way, relying on cutting edge mathematics. If you need a qualified dev team I will provide it for you.
Research and Design
I will use state of the art research to analyze a given problem, helping you design it correctly from the ground up.
Training
I teach advanced formal techniques to enterprise teams. I can also distill complex papers into accessible knowledge for you.
Past Affiliations
Education
PhD in Computer Science
Msc in Mathematics
Bsc in Mathematics
Coding Strategy
I have familiarity with functional languages (Haskell), dependently typed languages (Idris), and mainstream languages (Javascript, Rust). I have no problem integrating workflows with AI.
I am really good at explaining myself and I can successfully communicate difficult concepts to devs at any skill level.
Languages
Here the language that I (sometimes struggle to) understand. Also reasonably fluent in Latin, and can translate from Ancient Greek, Middle Egyptian and sumerian. Zero practical use, but cool.