About

Hey there! I’m Lukasz. I dabble in software engineering, formal verification, agentic engineering, programming languages, and logic.

This is my blog. I also have a homepage.