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!
Welcome to my page. More content is coming soon.