FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Rafi Shalom

Registered user since Tue 23 Apr 2019

Name:Rafi Shalom
Bio:

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.

Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:GR(1) Synthesis, Data-mesh architectures, Attack graph analysis

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile