Software is everywhere, and so are defects. However, we can do better! This is the place where we apply state-of-the-art methods to find vulnerabilities in software. Formal methods based on math and logic.
![Hello world!](https://formal-hacker.com/wp-content/uploads/2021/12/pexels-miguel-a-padrinan-2882558-300x199.jpg)
Hello world!
Welcome to my page. More content is coming soon.