| Apr 04, 2026 | I’m so excited to announce that our paper titled “State Space Estimation for DPOR-Based Model Checkers” has been accepted at the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026). |
| Sep 01, 2025 | I will be attending the Highlights’25 at the Saarland University in Saarbrücken, Germany. |
| Aug 25, 2025 | I will be attending the CONCUR’25 and presenting our paper titled “Optimal Concolic Dynamic Partial Order Reduction” at the Aarhus University in Aarhus, Denmark. |
| Jul 21, 2025 | I will be attending the CAV’25 at the University in Zagreb in Zagreb, Croatia. |
| May 27, 2025 | I’m so excited to announce that our paper titled “Optimal Concolic Dynamic Partial Order Reduction” has been accepted at the 36th International Conference on Concurrency Theory (CONCUR) 2025. |
| Sep 04, 2024 | I will be attending the Alpine Verification Meeting (AVM)’24 at the Caritas Tagungszentrum, Freiburg, Germany. |
| Jun 26, 2024 | I will be attending the SAT/SMT/AR’24 at the University of Lorraine in Nancy, France. |
| Oct 04, 2023 | I will be attending the Theorietag’23 at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. |
| Sep 01, 2023 | I’m happy to announce that I have joined the Rigorous Software Engineering group at the Max Planck Institute for Software Systems (MPI-SWS) as a PhD student. |