Name:Rafi Shalom

Bio:

Currently employed at Accenture Israel, and teaching in several Israeli universities. Assigned to Search and Contentg Analytics (SCA) and ADGO.

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 and various other fields, with a focus on reactive synthesis.

My work has been published in the SoSyM journal, ICSE, ESEC/FSE, MODELS, Formal Methods and Requirements Engineering.

Country:Israel

Affiliation:Accenture, Israel

Research interests:GR(1) Synthesis, Semantic web, Formal methods