Rajeev Alur es profesor de la familia Zisman en el Departamento de Ciencias de la Información y la Computación de la Universidad de Pensilvania , Estados Unidos.
El Prof. Alur nació en Pune . Obtuvo su licenciatura en ciencias de la computación del Instituto Indio de Tecnología en Kanpur , India, en 1987, y Ph.D. en Ciencias de la Computación de la Universidad de Stanford , California , EE.UU., en 1991. Antes de unirse a la Universidad de Pensilvania en 1997, estuvo en el Centro de Investigación en Ciencias de la Computación en Bell Laboratories . La investigación de Alur abarca el modelado y análisis formal de sistemas reactivos, sistemas híbridos , verificación de modelos , verificación de software y automatización de diseño para software integrado . Sus contribuciones incluyen autómatas cronometradosy especificaciones temporales basadas en lenguajes de palabras y árboles anidados . Es miembro de la ACM , [1] miembro de la IEEE y recientemente se desempeñó como presidente de ACM SIGBED (Grupo de interés especial sobre sistemas integrados).
Premios y honores
- Presidente de la Medalla de Oro de la India a la excelencia académica.
- Un premio CAREER de la US National Science Foundation .
- Premio CAV (Verificación asistida por computadora) por contribuciones fundamentales a la teoría de la verificación de sistemas en tiempo real, 2008 (con David Dill).
- Premio LICS (Simposio IEEE sobre Lógica en Ciencias de la Computación) Test-of-Time [2] por el artículo LICS 1990 "Verificación de modelos para sistemas en tiempo real", 2010 (con David Dill y Costas Courcoubetis).
Referencias
- ^ "Rajeev Alur" . Becarios 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.
- ^ "Premio LICS Test-of-Time" .
Por el trabajo pionero en la verificación de modelos de sistemas en tiempo real.
enlaces externos
- Página de inicio de Rajeev Alur
- Publicaciones de Rajeev Alur indexadas por Google Scholar