Prof. Doron Peled received his Phd from the Technion, Israel Institute of Technology at 1991. After postdoc at the university of Warwick, he bacame a Bell Labs scientist. In 2001 Doron moved to the university of Texas in Austin as an associate Professor and in 2002 he was offerred the chair of software engineering at the University of Warwick in England. Since 2007, Doron is a professor of Computer Science at Bar Ilan University. Doron is a coauthor of the book Model Checking, with Clarke and Grumberg, and the author of the book Software Reliability Methods. His research interests are verification, automata theory and software synthesis.‘ My research interests are Concurrency theory, Formal Verification, Formal Specification, Semantics of Programming Languages, Model Checking, Finite Automata, Software Testing, Temporal Logics, Partial order methods and Traces. Publications: Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170。 Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)。 Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. Formal Methods in System Design 26(1): 7-25 (2005)。 Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)。 Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)。 Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)。 Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000)。