stringtranslate.com

Insup Lee

Insup Lee es profesor de la cátedra Cecilia Fitler Moore en el Departamento de Informática y Ciencias de la Información de la Universidad de Pensilvania ( Estados Unidos). También es director y cofundador del Centro PRECISE .

Lee obtuvo su licenciatura en matemáticas en la Universidad de Carolina del Norte en Chapel Hill en 1977, seguida de su maestría y doctorado en Ciencias de la Computación en la Universidad de Wisconsin-Madison en 1983. Ese mismo año, se unió a la Universidad de Pensilvania como profesor asistente. La investigación de Lee se centra predominantemente en sistemas ciberfísicos (CPS), computación en tiempo real , dispositivos médicos de alta confianza, métodos y herramientas formales y verificación en tiempo de ejecución . Gran parte de su trabajo reciente ha estado relacionado con la seguridad de los CPS, particularmente para dispositivos médicos. Lee también es miembro de la ACM , [1] IEEE , [2] y AAAS . [3]

Premios y honores

Referencias

  1. ^ "Insup Lee nombrado miembro de la ACM". Ingeniería de Penn .
  2. ^ "Perfil de miembro de Insup Lee". Directorio de miembros del IEEE . Instituto de Ingenieros Eléctricos y Electrónicos.
  3. ^ "Insup Lee elegido miembro de la AAAS 2022". Centro Penn PRECISE .
  4. ^ "Premios de la prueba del tiempo". Verificación del tiempo de ejecución .
  5. ^ "Premios al logro y liderazgo". Comité técnico de sistemas en tiempo real (TCRTS) . Instituto de ingenieros eléctricos y electrónicos.
  6. ^ "CIMIT anuncia el ganador del premio Kennedy Healthcare Innovation Award". Newswise. 8 de enero de 2008.

Enlaces externos