Doron A. Peled
Israeli computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Doron A. Peled?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Doron A. Peled (born 1962) (Hebrew: דורון אנשל פלד) 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 (MIT Press, 1999)[2] and the author of the book Software Reliability Methods (Springer Verlag, 2000).[3]
Quick Facts Born, Citizenship ...
Doron A. Peled | |
---|---|
Born | 1962 |
Citizenship | Israeli |
Alma mater | Technion – Israel Institute of Technology |
Known for | Partial order reduction |
Awards | CAV Award 2014[1] |
Scientific career | |
Fields | Formal Methods, Model checking, program synthesis, runtime verification |
Institutions | |
Doctoral advisor | Shmuel Katz, Amir Pnueli |
Close