Software Engineer · PhD in Cryptography · Open-Source Developer
I'm a software engineer with over 13 years of professional experience, specializing in security-critical software, cryptography, formal methods, and strongly typed software architectures.
I hold a PhD in Cryptography and have worked on complex software systems at Prove & Run and Olvid, focusing on secure systems, privacy-preserving technologies, and robust software engineering.
My interests range from compiler design and formal verification to native Apple development, computational graphics, and AI-assisted software engineering.
Languages: Swift, Java, Python, TypeScript, C
Core areas:
- Cryptography and secure software development
- Formal methods and software verification
- Type systems and API design
- Software architecture and automated testing
- Compilers and programming languages
- AI-assisted software development and evaluation
An open-source initiative exploring stronger type safety and safer APIs for modern software development.
A Swift library providing strongly typed extensions to Apple's Core Data framework, including typed object identifiers and safer persistence operations.
I'm also exploring additional type-safe libraries for Apple frameworks.
Beyond open source, I work on projects involving:
- Compiler technology: Compilation, program analysis, and formal verification.
- Computational graphics: Procedural generation, rendering, and algorithmic art.
- Native applications: Swift-based applications for macOS and iOS.
- AI and developer tools: Local AI models, coding agents, and automated software evaluation.
- Web applications: TypeScript, Angular, PostgreSQL, and Supabase.
I value software that is not only functional but also understandable, testable, and correct by construction whenever possible.
My work combines mathematical reasoning, strong typing, careful API design, and practical engineering.
I'm particularly interested in how AI coding agents can complement rigorous software engineering practices.