Universitaire
Doron A. Peled
Israeli computer scientist
- Vie
- 1962 – présent
- Né(e) le
- 10 avril 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.
§Entrées associées
Universitaire
Alan Emtage
Barbadian-Canadian computer scientist
1964 – présent · États-Unis
Universitaire
Alberto Broggi
Italian computer scientist (born 1966)
1966 – présent · Italie
Universitaire
Alexander Razborov
Russian mathematician
1963 – présent · Russie
Universitaire
Alexander Razgulin
Russian mathematician (born 1963)
1963 – présent · Russie