Blog
Welcome to the blog.
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.
About
About Me I’m Krystian Lewandowski — a software developer with over 20 years of commercial experience, specializing in system-level and cross-platform development. I work across mobile ecosystems, embedded platforms, and kernel-level systems, and I enjoy driving complex projects from architecture through to full delivery. Throughout my career I’ve had the privilege of working on a wide range of cutting-edge projects for major technology and mobile service providers — from building an AirPlay server prototype on Android, to contributing kernel drivers accepted into the official OpenBSD tree, to designing secure payment encoding libraries for custom hardware.
Contact
Get in Touch Have a question, idea, or just want to say hello? Send me a message using the form below. Name Email Message Send Message
Projects
Projects Here’s an overview of the projects I’m currently building and contributing to.
Research
Research Original work in computational geometry and mathematical physics. Every analytical result is backed by numerical verification in Python and, where applicable, formal proofs in Lean 4.