Rajeev alur
Rajeev alur
Rajeev Alur el 16 de agosto de 2006.
| Nacimiento | 5 de marzo de 1966 |
|---|---|
| Nacionalidad | americano |
| Capacitación |
Instituto Indio de Tecnología de la Universidad de Stanford , Kanpur |
| Ocupaciones | Científico informático , ingeniero |
| Trabajé para | Universidad de Pennsylvania |
|---|---|
| Miembro de |
Instituto de Asociación de Ingenieros Eléctricos y Electrónicos para Maquinaria de Computación |
| Premios |
Miembro de ACM Miembro del IEEE |
Rajeev Alur , nacido el5 de marzo de 1966, es un teórico informático de la ciudadanía estadounidense de origen indio . Es profesor en el Departamento de Ciencias de la Información y la Computación de la Universidad de Pennsylvania , EE . UU. , En la Cátedra Zisman Family .
Biografía
Alur obtuvo una Licenciatura en Tecnología en Ciencias de la Computación del Instituto Indio de Tecnología en Kanpur , India en 1987, seguida de un doctorado en Ciencias de la Computación de la Universidad de Stanford , California en 1991 bajo la supervisión de David L. Dill ( " Técnicas para la Verificación Automática de sistemas en tiempo real " ). Primero trabajó en el Centro de Investigación en Ciencias de la Computación en Bell Laboratories y luego se unió a la Universidad de Pensilvania en 1997.
Investigar
Las áreas de investigación de Alur son el modelado formal de sistemas reactivos, verificación de modelos , verificación de software, diseño automático de software embebido. Sus contribuciones incluyen autómatas cronometrados y especificación temporal basada en lenguajes de palabras y árboles anidados .
Honores y premios
- 1987: Presidente de la India Medalla de Oro a la Excelencia Académica , Instituto Indio de Tecnología, Kanpur.
- 1998: Premio al Desarrollo Profesional Temprano de la Fundación Nacional de Ciencias .
- 2007: Miembro de la ACM
- 2008: Miembro del IEEE
- 2008: Premio CAV (Verificación asistida por computadora) “ por contribuciones fundamentales a la teoría de la verificación de sistemas en tiempo real ” , (con David Dill).
- 2010: Premio LICS (Simposio IEEE sobre Lógica en Ciencias de la Computación) Test-of-Time por el artículo LICS de 1990 “Verificación de modelos para sistemas en tiempo real” de la conferencia LICS de 1990 (con David Dill y Costas Courcoubetis).
- 2016: Premio Alonzo Church por “ contribuciones destacadas a la lógica y la computación ” y “ por su invención de autómatas cronometrados ” .
- 2005-2007: Presidente de ACM SIGBED (Grupo de interés especial sobre sistemas integrados).
Obras
Los artículos citados en los premios que se le otorgan son:
- Rajeev Alur y David L. Dill , " Una teoría de los autómatas cronometrados ", Informática teórica , vol. 126, n o 21994, p. 183-235 ( DOI 10.1016 / 0304-3975 (94) 90010-8 ), para el premio Iglesia Alonzo
- Rajeev Alur , Costas Courcoubetis y David L. Dill , “ Model-Checking for Real-Time Systems ”, Actas del Quinto Simposio Anual de IEEE sobre Lógica en Ciencias de la Computación (LICS 1990) ,1900, p. 414-425 ( DOI 10.1109 / LICS.1990.113766 ), para el premio LICS Test-of-Time
Notas y referencias
- (in) Curriculum Vitae [PDF] Rajeev Alur.
- (in) " Rajeev Alur " en el sitio web del Proyecto de genealogía matemática .
- " Rajeev Alur " [ archivo de 1 st de marzo de 2012] , Becarios de ACM, ACM,2007(consultado el 23 de enero de 2010 ) : “Para contribuciones a la especificación y verificación de sistemas reactivos e híbridos. " .
- (in) "Premio LICS Test-of-Time " : " Este artículo fue pionero en la verificación de modelos de sistemas en tiempo real. "
- Laudatio en los EATCS.
enlaces externos
- Página personal de Rajeev Alur
- Publicaciones de Rajeev Alur sobre DBLP
- Citas del trabajo de Rajeev Alur en Google Scholar