Universitaire
Shmuel Sagiv
Israeli computer scientist (born 1959)
- Vie
- 1959 – présent
- Né(e) le
- 11 avril 1959
Mooly (Shmuel) Sagiv is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certora, a startup company providing formal verification of smart contracts.
§Entrées associées
Universitaire
Alex Martelli
Italian computer engineer (born 1955)
1955 – présent · Italie
Universitaire
Alexander Vasin
Russian mathematician (born 1952)
1952 – présent · Russie
Universitaire
Alexei Semenov (mathematician)
Russian mathematician
1950 – présent · Russie
Universitaire
Alexey Pajitnov
Russian-American computer engineer (born 1955)
1955 – présent · États-Unis