Academic
Shmuel Sagiv
Israeli computer scientist (born 1959)
- Life
- 1959 – present
- Born
- April 11, 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.
§Related entries
Academic
Alex Martelli
Italian computer engineer (born 1955)
1955 – present · Italy
Academic
Alexander Vasin
Russian mathematician (born 1952)
1952 – present · Russia
Academic
Alexei Semenov (mathematician)
Russian mathematician
1950 – present · Russia
Academic
Alexey Pajitnov
Russian-American computer engineer (born 1955)
1955 – present · United States