Registered user since Tue 23 Apr 2019
Currently a research engineer at Accenture Labs Israel.
2021-2022 Post-doctoral researcher at Tel Aviv University. Completed a PhD in 2021 at Tel Aviv University. Research interests are in the application of formal methods for software engineering, with a specific focus on reactive synthesis.
My work has been published in ICSE, ESEC/FSE, and MODELS.