| Jul 29, 2026 | Attended FLoC 2026 in Lisbon, including CAV, ITP, and the Isabelle Workshop. |
| Jul 05, 2026 | Our paper “Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions” has been accepted at the 1st Symposium on Consistency Checking Principles (SCCP) 2026, co-located with VLDB 2026. |
| Sep 04, 2025 | I presented our “VerIso: Verifiable Isolation Guarantees for Database Transactions” paper at VLDB 2025, in London, UK. |
| May 08, 2025 | I presented our “Pushing the Limit” paper at TACAS 2025, in Hamilton, Canada. |
| Jan 15, 2025 | Our paper “VerIso: Verifiable Isolation Guarantees for Database Transactions” was accepted at VLDB 2025! |
| Dec 20, 2024 | Our paper “Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions” was accepted at TACAS 2025! |
| Jun 14, 2024 | I was invited by proofs.swiss to present my poster on my current research “the VerIso framework for verification of isolation guarantees in database transactions” at the “Proof Systems for Mathematics and Verification” event at EPFL. |
| May 23, 2023 | I have been accepted to attend the International Summer School Marktoberdorf 2023, organized by TU Munich on “Safety and Security through Formal Verification”. I will be attending the school from 1st to 12th of August 2023. |
| Nov 16, 2022 | I have officially started my PhD at the Information Security Group, ETH Zurich! |
| Nov 09, 2022 | I successfully defended my master’s thesis at the Information Security Group of ETH Zurich, titled “Mechanized Data Consistency Models for Distributed Database Transactions”, with a perfect score (6/6)! |
| Sep 01, 2020 | I started my master studies in computer science, majoring in reliable and secure systems, minoring in data management, at ETH Zurich! (direct doctorate in computer science program) |