| Jul 23, 2025 | Our paper, “Introducing Certificates to the Hardware Model Checking Competition”, received the Distinguished Paper Award at CAV!
|
| Jul 13, 2025 | Our paper, “Formal Verification of Neural Certificates Done Dynamically”, was accepted to RV 2025! Hope to see you in Graz!
|
| May 28, 2025 | Our paper, titled “Logic Gate Neural Networks are Good for Verification”, received the DARPA award at NeuS!
|
| May 14, 2025 | I got the FWF Esprit fellowship from the Austrian Science Fund.  |
| May 10, 2025 | I will be attending CAV’25 this summer. See you in Croatia!
|