I'm a software developer transitioning into full-stack web development, combining a passion for clean, scalable frontend experiences with robust backend systems. My focus is on building user-centric applications with modern frameworks and maintaining strong coding standards.

With a background in formal verification and functional programming, I bring a methodical approach to problem-solving and code quality. I have experience crafting efficient algorithms, exploring formal proofs, and leveraging decentralized technologies to create innovative solutions.

Beyond coding, I'm a proud father to Matteo, a reformed theologian, and an autodidact. I thrive on meaningful conversations, enjoy writing about Kind and formal proofs, and embrace the open-source philosophy. I'm a nerd at heart, a non-practicing vegan, and a coffee enthusiast with a passion for continuous learning.

On my blog, you'll find articles about web development, formal proofs, and tech trends, as well as insights into things that inspire me or make life easier.