Proof-driven. Caffeine-powered. Deadlock-free.
Welcome to ikeru.dev — a personal space for projects, ideas, and technical explorations. Here you’ll find what I’m working on, what I’m thinking about, and how to get in touch.
Projects
Explore the projects I’m currently working on — from platforms to open-source tools.
Research
Original work in computational geometry and mathematical physics, verified numerically and formally.