| Nov 11, 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 11, 2025 | Looking forward to give an invited talk at TU Delft, on 19 November 2025.
|
| 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!
|