Un investigador del CNRS gana un prestigioso premio de computación
Un investigador del Centro Nacional de Investigación Científica de Francia (CNRS) cuya labor ha sido financiada con fondos comunitarios, ha sido seleccionado como uno de los tres ganadores del prestigioso premio Turing de la Asociación Americana para la Maquinaria de Computación (ACM). El Dr. Josef Sifakis es el primer ciudadano francés en ser galardonado con lo que se describe a menudo como el Premio Nobel de computación, desde su creación en 1966. Los tres galardonados, el Dr. Sifakis y sus colegas estadounidenses, el Dr. Edmund M. Clarke de la Universidad Carnegie Mellon de Pittsburgh y el Dr. E. Allan Emerson de la Universidad de Texas, trabajan en el área de «model checking» (verificación de modelos), tecnología que ayuda a los ingenieros de hardware y software a encontrar errores en diseños de sistemas complejos. Ellos recibieron el premio de unos 170.000 euros en reconocimiento por el «papel que han tenido en transformar la verificación de modelos en una tecnología de verificación altamente eficaz, adoptada ampliamente en las industrias de hardware y software», se menciona en el comunicado. El presidente de la ACM, Stuart Feldman, añadió que el trabajo de Clarke, Emerson y Sifakis ha tenido una influencia enorme en los diseñadores y fabricantes de chips semiconductores. «Estas industrias se enfrentan a una explosión tecnológica en la que productos de una complejidad sin precedentes tienen que funcionar como se espera para que las empresas sobrevivan. Este adelanto en la verificación permitió a estas industrias acortar el tiempo de comercialización y aumentar la integridad de los productos. Sin el gran avance conceptual logrado por estos investigadores, podríamos aún encontrarnos con chips que tienen muchos errores y que carecerían de la potencia y la velocidad del equipamiento actual. Éste es un gran ejemplo de tecnología que transforma a la industria y que surge de una investigación altamente teórica.» «Intel y toda la industria informática han sido los beneficiarios directos del trabajo innovador de los premiados», añadió Andrew Chien, Vicepresidente de Corporate Technology Group y Director de investigación de la Corporación Intel. «Nuestros investigadores e ingenieros llevan quince años trabajando estrechamente con Clarke, Emerson y Sifakis. Los resultados de su verificación automática novedosa han sido adoptados ampliamente por toda la industria. Estos métodos de verificación de modelos proporcionan una cobertura mucho mejor cuando se buscan errores de diseño.» «Google, como cualquier otra empresa contemporánea de tecnología, debe mucho de su éxito a la labor de investigadores pioneros anteriores», indicó Alan Eustace, Vicepresidente de ingeniería de Google. «Estamos orgullosos de honrar a los galardonados por su solución innovadora de una cuestión difícil y omnipresente y esperamos que esto estimule e inspire a aquéllos que se enfrentan ahora a los retos tecnológicos del futuro.» En la actualidad el Dr. Sifakis es Director de investigación y Presidente de la «Cámara B» (Organizaciones de Investigación Pública) de agentes de la Asociación ARTEMISIA para I+D (investigación y desarrollo), implicada en la iniciativa ARTEMIS («Advanced research and technology for embedded intelligence and systems»), financiada con fondos comunitarios. También es fundador del laboratorio VERIMAG de Grenoble (Francia), un laboratorio de investigación destacado en el ámbito de sistemas incorporados críticos. De 2004 a 2008 el Dr. Sifakis fue el coordinador científico de la Red de Excelencia europea Artist2 sobre Diseño de Sistemas Incorporados y ha asumido el mismo puesto en la nueva Red de Excelencia europea ArtistDesign sobre Diseño de Sistemas Incorporados. El Dr. Sifakis, nacido en la isla griega de Creta, tiene el título de ingeniero electrónico de la Universidad Técnica de Atenas, así como un título en ciencias informáticas de la Universidad de Grenoble, donde también cursó sus estudios de doctorado.
Países
Francia