Person
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.
I am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor KunÄak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland. Education MSc Computer Science | 2016 – 2022 EPFL
Please note that this is not a complete list of this person’s publications. It includes only semantically relevant works. For a full list, please refer to Infoscience.