news
| Oct 01, 2025 | Started my Postdoc with Prof. Bogaerts |
|---|---|
| Sep 27, 2025 | Defended my PhD thesis on the Deep Integration of SAT Solving and Model Checking 🎓 |
| Jul 23, 2015 | Received the CAV25 Distinguished Paper Award for Introducing Certificates to the Hardware Model Checking Competition 🎉 |