Doron A. Peled (nacido en 1962) ( hebreo : דורון אנשל פלד ) es profesor de informática en la Universidad Bar-Ilan . Sus intereses de investigación incluyen métodos formales , verificación de modelos , síntesis de programas y verificación en tiempo de ejecución . Con Edmund M. Clarke y Orna Grumberg , es coautor del libro Model Checking ( MIT Press , 1999) [2] y autor del libro Software Reliability Methods ( Springer Verlag , 2000). [3]
Doron Peled [4] nació en 1962 en Haifa . Obtuvo su doctorado en ciencias de la computación en el Technion – Instituto Tecnológico de Israel en 1991 bajo la supervisión del Prof. Shmuel Katz y el Prof. Amir Pnueli sobre métodos de verificación en lógica temporal . Después de un año postdoctoral en la Universidad de Warwick , se unió a Bell Labs , donde trabajó entre 1992 y 2001. Luego fue nombrado profesor asociado en la Universidad de Texas en Austin y después de un año a profesor y presidente de ingeniería de software en la Universidad de Warwick.
En 2006, Doron regresó a Israel y se incorporó a la Universidad Bar-Ilan como profesor de informática. Se desempeñó como director del departamento entre 2013 y 2016. [5]
Peled es conocido por su contribución en ciencias de la computación en el área de métodos formales . [6] Esto incluye la reducción de orden parcial , [7] que es un método para reducir el tiempo y el espacio necesarios para verificar automáticamente un sistema concurrente , por el que recibió el premio CAV 2014 con Patrice Godefroid, Antti Valmari y Pierre Wolper . [1] Junto con Mihalis Yannakakis y Moshe Vardi desarrolló la verificación de caja negra, [8] un método para verificar automáticamente sistemas de caja negra . Junto con Klaus Havelund desarrolló la herramienta DejaVu [9] para la verificación en tiempo de ejecución de secuencias de eventos con muchos datos.