text.compare.title

text.compare.empty.header

Noticias

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

      
El experto se reunirá con profesores e investigadores para discutir sobre las principales tendencias mundiales en investigación en informática para el siglo XXI y visualizar la participación de los investigadores de la universidad colombiana.<br/><br/>José 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/>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 realizará el 16 y 17 de abril en la sede de la institución.<br/><br/>El profesor Meseguer 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, entre otros.<br/>
El experto se reunirá con profesores e investigadores para discutir sobre las principales tendencias mundiales en investigación en informática para el siglo XXI y visualizar la participación de los investigadores de la universidad colombiana.

José 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.

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 realizará el 16 y 17 de abril en la sede de la institución.

El profesor Meseguer 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, entre otros.
  • 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.