Doron A. Peled

Científico informático israelí

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]

Biografía

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]

Investigación

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.

Libros

• Clarke, Edmund M.; Grumberg, Orna; Peled, Doron A. (1999). Verificación de modelos . Cambridge, Mass.: MIT Press. ISBN 9780262032704.
• Peled, Doron (2001). Métodos de confiabilidad del software . Nueva York: Springer. ISBN 978-0-387-95106-5.

Referencias

1. Premio ab CAV - Conferencia internacional sobre verificación asistida por computadora
2. Clarke, Edmund M.; Grumberg, Orna; Peled, Doron A. (2001). Verificación de modelos. MIT Press 2001. ISBN 978-0-262-03270-4.
3. Peled, Doron (2001). Métodos de confiabilidad del software. Nueva York: Springer. ISBN 978-0-387-95106-5.
4. Doron Peled - Página de inicio, Departamento de Ciencias de la Computación, Universidad Bar-Ilan
5. Departamento de Ciencias de la Computación, Universidad Bar-Ilan
6. Doron Peled, Google Académico
7. Peled, Doron (1993). "Todo de uno, uno para todos: sobre la verificación de modelos utilizando representantes". Computer Aided Verification . Lecture Notes in Computer Science. Vol. 697. págs. 409–423. doi : 10.1007/3-540-56922-7_34 . ISBN 978-3-540-56922-0. ISSN  0302-9743.
8. Peled, Doron; Vardi, Moshe Y.; Yannakakis, Mihalis (1999). "Black Box Checking". Métodos formales para la ingeniería de protocolos y sistemas distribuidos . IFIP Avances en tecnología de la información y la comunicación. Vol. 28. págs. 225–240. doi : 10.1007/978-0-387-35578-8_13 . ISBN . 978-1-4757-5270-0. ISSN  1868-4238.
9. Havelund, Klaus; Peled, Doron; Ulus, Dogan (2017). "Monitoreo de lógica temporal de primer orden con BDD". Métodos formales en diseño de sistemas . FMCAD '17. 56 (1–3): 116–123. ISBN 9780983567875.