news
| Jul 16, 2026 | Received the CAV26 Distinguished Paper Award for Liveness Proofs for Hardware Model Checking 🎉 |
|---|---|
| Jul 13, 2026 | Three papers accepted at FLoC. See you in Lisbon! |
| 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, 2025 | Received the CAV25 Distinguished Paper Award for Introducing Certificates to the Hardware Model Checking Competition 🎉 |