| | Jul 2026 | Our CAV 2026 paper, “Liveness Proofs for Hardware Model Checking”, received the Distinguished Paper Award! Looking forward to presenting this work in Lisbon.
|
| | Jul 2026 | I have been awarded an NWO Veni grant to support my research on certification for infinite-state systems for the next few years.
|
| | Jul 2026 | I will give a lecture at the upcoming IPA Fall Days, a dutch PhD school that I help organize, in November! The lecture will be on formal methods and AI.
|
| | Jun 2026 | Two papers accepted at FLOC 2026. Looking forward to seeing you in Lisbon!
|
| | Apr 2026 | I will be giving a series of 6 lectures at the SETSS spring school 2026!
|
| | Apr 2026 | I will be giving a keynote talk at the Dutch Formal Methods Day!
|
| | Feb 2026 | Two papers accepted to FM 2026!
|
| | Nov 2025 | Looking forward to give an invited talk at IEEE Women in Circuits and Systems – Young Professionals (WiCAS-YP) Symposium, which will be held on 26 November 2025, in Leiden.
|
| | Nov 2025 | Looking forward to give an invited talk at TU Delft, on 19 November 2025.
|
| | Jul 2025 | Our paper, “Introducing Certificates to the Hardware Model Checking Competition”, received the Distinguished Paper Award at CAV!
|
| | Jul 2025 | Our paper, “Formal Verification of Neural Certificates Done Dynamically”, was accepted to RV 2025! Hope to see you in Graz!
|
| | May 2025 | Our paper, titled “Logic Gate Neural Networks are Good for Verification”, received the DARPA award at NeuS!
|
| | May 2025 | I got the FWF Esprit fellowship from the Austrian Science Fund.  |
| | May 2025 | I will be attending CAV’25 this summer. See you in Croatia!
|