Carlos López Pombo, profesor e investigador de esta casa de estudios, fue designado miembro del Working Group 1.3 del Technical Committee 1 de la International Federation for Information Processing (IFIP).

López Pombo ha desarrollado una destacada tarea en la investigación de modelos formales para la especificación, desarrollo, transformación y verificación de sistemas. A partir de esta incorporación, formará parte de uno de los comités técnicos más importantes en la materia, a nivel internacional.

Página del IFIP WG 1.3 Foundations of System Specification

Miembros del IFIP WG 1.3

Acerca del Working Group de IFIP

El Working Group 1.3 «Foundations of Systems Specifications» del Technical Committee
1, Foundation of Computer Science, IFIP (International Federation for Information
Processing) tiene por objetivo primordial promover la investigación de modelos
formales para la especificación, desarrollo, transformación y verificación de
sistemas.

Para ello el Working Group agrupa a los investigadores más renombrados e
influyentes en este área de investigación, quienes periódicamente realizan reuniones
en las que se discuten las prioridades, alcances y proyecciones del área.