Tendrá lugar el jueves 27 en la Facultad de Informática de la UPM
Roberto Bagnara, professor asociado del Grupo de ciencia Computacional del Departamento de Matemáticas de la Universidad italiana de Parma pronuncia el jueves 27 de septiembre, en la Facultad de Informática de la Universidad Politécnica de Madrid (Aula 3102) una conferencia titulada On the Design of Generic Static Analyzers for Modern Imperative Languages.
La conferencia versará sobre el diseño e implementación de análisis estático para lenguajes como C, C++, Java y Pithon. En su intervención, el profesor Bagnara expondrá sus investigaciones en este campo, que aumentan las posibilidades y fiabilidad de estos lenguajes.
Los programas informáticos actuales controlan sistemas cada vez más complejos para los que los métodos manuales o heurísticos resultan insuficientes. Por eso es preciso calcular automáticamente informaciones fiables sobre los programas, y este es el objeto del así llamado análisis estático.
26/09/2007 - 11:38
Comentarios
Facultad de Informática de la UPM
La Facultad de Informática de la UPM fue la primera Facultad de Informática de España y en la actualidad es el centro universitario con mayor experiencia y prestigio en la enseñanza de la Ingeniería Informática superior en Madrid. Ofrece seis masteres y seis doctorados, además del título de Ingeniero Informático. Cuenta con más de 170 profesores y casi 2.000 alumnos. Tiene acuerdos de cooperación educativa para la realización de prácticas en más de 130 empresas. Cuenta asimismo con 28 grupos de investigación que desarrollan 108 proyectos, la mayoría en colaboración con empresas. Una parte importante de estos proyectos son internacionales y se desarrollan con instituciones de todo el mundo.
Secciones
Últimos apuntes
Archivo
Tendencias Informáticas
Este blog es elaborado por el Departamento de Comunicación de la Facultad de Informática de la UPM.
Campus de Montegancedo. 28660 Boadilla del Monte (Madrid). España. Contacto.
Campus de Montegancedo. 28660 Boadilla del Monte (Madrid). España. Contacto.