Doron A. Peled (born 1962) ( he, דורון אנשל פלד) is a

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

Professor at

Bar-Ilan University Bar-Ilan University (BIU, he, אוניברסיטת בר-אילן, ''Universitat Bar-Ilan'') is a public research university in the Tel Aviv District city of Ramat Gan, Israel. Established in 1955, Bar Ilan is Israel's second-largest academic i ...

. His research interests include

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

program synthesis In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields ...

and

runtime verification Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very p ...

. With

Edmund M. Clarke Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor ...

and Orna Grumberg, he is the coauthor of the book Model Checking (

MIT Press The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts (United States). It was established in 1962. History The MIT Press traces its origins back to 1926 when MIT publish ...

, 1999) and the author of the book Software Reliability Methods (

Springer Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, 2000).

Biography

Doron PeledDoron Peled - Homepage, Department of Computer Science, Bar-Ilan University
/ref> was born in 1962 in

Haifa Haifa ( he, חֵיפָה ' ; ar, حَيْفَا ') is the third-largest city in Israel—after Jerusalem and Tel Aviv—with a population of in . The city of Haifa forms part of the Haifa metropolitan area, the third-most populous metropol ...

. He obtained his

D.Sc Doctor of Science ( la, links=no, Scientiae Doctor), usually abbreviated Sc.D., D.Sc., S.D., or D.S., is an academic research degree awarded in a number of countries throughout the world. In some countries, "Doctor of Science" is the degree used f ...

from the

Technion – Israel Institute of Technology The Technion – Israel Institute of Technology ( he, הטכניון – מכון טכנולוגי לישראל) is a public research university located in Haifa, Israel. Established in 1912 under the dominion of the Ottoman Empire, the Technion ...

in 1991 under the supervision of Prof. Shmuel Katz and Prof.

Amir Pnueli Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and rec ...

on verification methods in

temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...

. After a post-doctoral year at the

University of Warwick The University of Warwick ( ; abbreviated as ''Warw.'' in post-nominal letters) is a public research university on the outskirts of Coventry between the West Midlands (county), West Midlands and Warwickshire, England. The university was founded i ...

, he joined

Bell Labs Nokia Bell Labs, originally named Bell Telephone Laboratories (1925–1984), then AT&T Bell Laboratories (1984–1996) and Bell Labs Innovations (1996–2007), is an American industrial research and scientific development company owned by mult ...

, where he worked between 1992 and 2001. He was then appointed as an associated professor at the

University of Texas at Austin The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas. It was founded in 1883 and is the oldest institution in the University of Texas System. With 40,916 undergraduate students, 11,075 ...

and after a year to a professor and chair of

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

at the University of Warwick. In 2006 Doron returned to Israel and joined

as a professor of computer science. He served as the department chair between 2013 and 2016.Department of Computer Science, Bar-Ilan University
/ref>

Research

Peled is known for his contribution in computer science in the area of

.Doron Peled, Google Scholar
/ref> This includes

partial order reduction In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking or automated planning and scheduling algorithm. It exploits the commutativity of concurrently executed transitio ...

, which is a method for reducing the time and space required to automatically verify a

concurrent system In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concurr ...

, for which he received the 2014 CAV award with Patrice Godefroid, Antti Valmari and

Pierre Wolper Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000 Gödel Prize, al ...

. Together with

Mihalis Yannakakis Mihalis Yannakakis ( el, Μιχάλης Γιαννακάκης; born 13 September 1953 in Athens, Greece)Moshe Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

he developed black box checking, a method for automatically verifying black box systems. Together with Klaus Havelund he developed the tool DejaVu for the

of sequences of events with lots of data.

Books

* *

References

{{DEFAULTSORT:Peled, Doron A. Living people Israeli computer scientists 1962 births Academic staff of Bar-Ilan University Technion – Israel Institute of Technology alumni