The Story So Far
Picture this: someone who fell in love with the elegance of pure mathematics but couldn't resist the allure of making computers do impossible things. That's me in a nutshell.
My journey started in the abstract world of mathematical theory (PhD and all), but I got seduced by the practical power of computation. Now I spend my days in the fascinating intersection where theoretical rigor meets real-world chaos—especially when that chaos involves AI regulation.
These days, I'm the person organizations call when they're drowning in EU AI Act compliance documents and need someone who actually understands both the technical depth and the mathematical foundations of what we're trying to regulate.
What I Actually Do (When I'm Not Down Rabbit Holes)
AI Compliance Whisperer
I translate the EU AI Act from bureaucratic maze into something engineers can actually implement without losing their sanity
Cross-Domain Alchemist
Mixing machine learning with biology, physics, and insurance—because why stick to one field when you can confuse people in three?
Protocol Archaeologist
Digging into blockchain protocols with formal methods, because someone needs to prove these things actually work
Type Theory Explorer
Making programming languages behave better through the power of mathematical foundations (and occasional frustration)
Current Obsessions & Projects
- Making AI Audits Less Terrible: Building frameworks that don't make compliance officers want to quit their jobs (ongoing challenge)
- Teaching LLMs to Extract Knowledge: Because apparently we need machines to read the papers we don't have time to read ourselves
- Blockchain Formal Specs: Proving that decentralized systems actually work as advertised (spoiler: it's complicated)
- Type System Archaeology: Exploring how mathematical foundations can save us from programming language chaos
- ISO 42001 Reality Check: Making AI management standards work in the real world, not just on paper
The Academic Journey (Or: How I Collected Degrees)
The Pure Math Phase
PhD in Mathematics • Where I learned that "trivial" means "I spent 3 months figuring this out"
MSc in Mathematics • Fell in love with abstraction
BSc in Mathematics • Where it all began
The Reality Check
MSc in Computer Science
Discovered that computers are much less elegant than mathematical proofs, but infinitely more useful for paying rent
Papers & Digital Breadcrumbs
Want to see what happens when mathematical rigor meets regulatory chaos? My papers are scattered across the internet like a very academic treasure hunt.
Check out my work on Google Scholar or Scopus—where I document my attempts to make sense of AI governance, blockchain protocols, and why type theory matters.
When I'm Not Staring at Equations
Plot twist: I'm not always buried in code or lost in mathematical abstractions. Sometimes I surface for air and do surprisingly human things:
- Treasure Hunt Architect: I design elaborate treasure hunts because apparently solving complex problems for fun is my idea of relaxation
- Urban Complexity Observer: Fascinated by how cities work (or don't work) and the emergent patterns in metropolitan chaos
- Productivity System Experimenter: Always tweaking my workflow because if you can optimize an AI system, why not optimize your life?
- Philosophy of Science Wanderer: Pondering what we actually know and how we know we know it (meta-mathematical existential crises included)
- Open Source Contributor: Because the best way to procrastinate on research is to fix someone else's code
Fun fact: I once spent three weeks designing a treasure hunt that required participants to solve differential equations to find the next clue. Nobody complained, which either says something about my friends or my ability to make math fun.
Want to Talk Shop?
I love talking to interesting people about interesting problems. Whether you're:
- 🔥 Drowning in AI compliance requirements and need someone who actually gets it
- 🤔 Working on something at the intersection of theory and practice
- 🚀 Building tools that need mathematical rigor but also have to work in the real world
- 📚 Curious about how formal methods can solve actual problems
- ☕ Just want to chat about the philosophical implications of type theory over coffee
Drop me a line. I promise to respond with actual insights, not consultant-speak.