I'm a developer and researcher focused on automated software verification and software testing, with particular interest in critical and embedded systems.
My work spans program analysis, formal methods, and the application of machine learning techniques to improve software reliability.

• Automated verification and testing
• Program analysis and static analysis
• Formal methods for embedded and safety-critical systems
• Machine learning applied to software engineering

Python, C/C++, LLVM, Flutter, TensorFlow, and Linux-based toolchains.

• 👨🏽‍💻 Currently working on program analysis and machine learning
• 🤝 Open to contributing to open-source projects
• 🌐 Visit my portfolio website for more details and contact information