In a 2018 letter to The Guardian, 129 experts in computer science, mathematics and machine learning described him as "a prominent academic, making fundamental contributions to mathematical logic and theoretical computer science"[1] Edalat also founded SAF and CASMII,[2][3] a campaign against sanctions and military intervention in Iran.

[6] At Imperial College, Professor Edalat serves as the head of both the Algorithmic Human Development and Continuous Data-Types and Exact Computing research groups.

His 1997 paper on "Bisimulation for Labelled Markov Processes" received the IEEE LICS Test of Time Award in 2017.

[10] According to Fars News, SAF "established the first modern computer sites with internet access for some 250 schools in various provinces in Iran.

The organization's membership is described as a group of academics, students and professionals of "diverse range of political and ideological viewpoints",[12] formed to oppose sanctions or military action against Iran.