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.