Innovador premiado por Microsoft

De izquierda a derecha: Wolfram Schulte, gerente de investigación en ingeniería de software de Microsoft Research; Bashar Nuseibeh, ganador del premio, de la Universidad Open del Reino Unido; Filippo Lanubile de la Universidad de Bari, Italia; Judith Bishop, directora de ciencias de computacion de Microsoft Research Connections; el egresado de la Universidad del Valle Néstor Cataño Collazos, docente de la Universidad de Madeira de Portugal y Tony Hey, vicepresidente corporativo de Microsoft Research Connections.

EEl egresado de la Escuela de Ingenería de Sistemas y Computación de la Universidad del Valle Néstor Cataño Collazos ganó el Premio de la Fundación para la Inovación de la Ingeniería de Software, realizado por Microsoft Research en la 'Cumbre de Software' llevada a cabo en París, Francia.

Néstor Cataño Collazos fue uno de los diez ganadores del premio con su propuesta 'Ampliación de Boogie para Soporte de Análisis de Máquinas B', entre 88 propuestas de participantes de todo el mundo, la cual busca mejorar las técnicas de verificación formal de software utilizadas por Microsoft Research. Lo que se busca es permitir a las personas que trabajan en el cálculo de refinamiento tener acceso a un amplio conjunto de técnicas y herramientas, proporcionando una rápida retroalimentación sobre la exactitud de los programas.

El premio que ganó Cataño Collazos consiste en la financiación y apoyo de su proyecto para desarrollar investigación en Ingeniería de Software dentro de la empresa Microsoft Research, en Redmond, Estados Unidos, durante un año.
Microsoft Research es una dependencia de la empresa de computación líder en el mundo Microsoft Corporation que trabaja con la comunidad de ingeniería de software para hacer avanzar el estado del arte en la investigación de este campo.

Néstor Cataño Collazos se egresó como ingeniero de sistemas de la Universidad del Valle en 1999 y realizó una maestría en Ciencias de la Computación, en el 2001, en la Universidad Paris VII de Francia. En el 2004 realizó un doctorado (Ph.D) en el reconocido Instituto Nacional de Investigación en Informática y Automática Sophia Antipolis de Francia. Entre el 2004 y 2007 realizó un post-doctorado en la Universidad de York, en Inglaterra. Durante el año 2007 Cataño Collazos trabajó como docente en la Universidad Javeriana de Cali y desde el 2008 es profesor de la Universidad de Madeira en Portugal; actualmente participa en proyectos de investigación europeos en conjunto con investigadores americanos y miembros del Grupo de Investigación en Ambientes Visuales de Programación Aplicativa -AVISPA, de la Escuela de Ingeniería de Sistemas y Computación de la Universidad del Valle.