| May 22, 2024 | Our ITP 2024 paper is now publicly available here. |
| May 22, 2024 | Our paper “Modular Verification of Intrusive List and Tree Data Structures in Separation Logic “ got accepted to ITP 2024! |
| Jun 26, 2023 | Going to attend the this year’s OPLSS in Eugene. Very much looking forward to it! |
| May 22, 2023 | I will be at the Iris Workshop 2023. It takes place in Saarbrücken, the city in which I completed BA & MA studies! |
| Jan 17, 2023 | Received a scholarship to go to the PLMW workshop @ POPL 2023 |
| Nov 07, 2022 | I’m attending the Autumn School on Proof Theory 2022 in Utrecht. |
| Aug 03, 2022 | Our paper won the award for the best paper by junior researchers! |
| Aug 03, 2022 | I will be presenting our paper at FSCD in Haifa. |
| May 02, 2022 | I will be at the Iris Workshop 2022. |