Academic
Doron A. Peled
Israeli computer scientist
- Life
- 1962 – present
- Born
- April 10, 1962
Doron A. Peled is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke and Orna Grumberg, he is the coauthor of the book Model Checking and the author of the book Software Reliability Methods.
§Related entries
Academic
Alan Emtage
Barbadian-Canadian computer scientist
1964 – present · United States
Academic
Alberto Broggi
Italian computer scientist (born 1966)
1966 – present · Italy
Academic
Alexander Razborov
Russian mathematician
1963 – present · Russia
Academic
Alexander Razgulin
Russian mathematician (born 1963)
1963 – present · Russia