text.compare.title

text.compare.empty.header

Noticias

Reconocido científico visitará la Escuela Colombiana de Ingeniería

      
El científico aceptó la invitación de la Escuela Colombiana de Ingeniería para participar en un encuentro sobre investigación en informática, que se desarrollará el lunes 16 y martes 17 de abril en la sede de la institución.<br/><br/>Meseguer es doctor en Matemáticas de la Universidad de Zaragoza, España; científico principal del Laboratorio de Ciencias de la Computación en SRI Internacional, en Menlo Park, California, y actualmente profesor de Ciencias de la Computación en la Universidad de Illinois en Urbana-Champagne, donde lidera el Laboratorio de Métodos Formales y Lenguajes Declarativos.<br/><br/>También ha trabajado en el diseño e implementación de varios lenguajes declarativos, incluyendo OBJ y Maude; en técnicas de verificación y especificación formal; en teoría de la concurrencia, modelos formales para la especificación orientada a objetos, software paralelo y arquitecturas para lenguajes declarativos.<br/><br/>Así como en los fundamentos lógicos de la ciencia de la computación, empleando lógica ecuacional, lógica de reescritura y la teoría general de la lógica. Algunas de sus publicaciones están disponibles en la página web de Maude: https://maude.cs.uiuc.edu.<br/>
El científico aceptó la invitación de la Escuela Colombiana de Ingeniería para participar en un encuentro sobre investigación en informática, que se desarrollará el lunes 16 y martes 17 de abril en la sede de la institución.

Meseguer es doctor en Matemáticas de la Universidad de Zaragoza, España; científico principal del Laboratorio de Ciencias de la Computación en SRI Internacional, en Menlo Park, California, y actualmente profesor de Ciencias de la Computación en la Universidad de Illinois en Urbana-Champagne, donde lidera el Laboratorio de Métodos Formales y Lenguajes Declarativos.

También ha trabajado en el diseño e implementación de varios lenguajes declarativos, incluyendo OBJ y Maude; en técnicas de verificación y especificación formal; en teoría de la concurrencia, modelos formales para la especificación orientada a objetos, software paralelo y arquitecturas para lenguajes declarativos.

Así como en los fundamentos lógicos de la ciencia de la computación, empleando lógica ecuacional, lógica de reescritura y la teoría general de la lógica. Algunas de sus publicaciones están disponibles en la página web de Maude: https://maude.cs.uiuc.edu.
  • Fuente:

Tags:

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continúa navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.