Estamos encantados de dar la bienvenida al Profesor Roberto Giacobazzi, de la Universidad de Verona, Italia, como profesor visitante en el Universidad de Verona, Italia. Roberto es bien conocido por su extenso y fundacional trabajo sobre interpretación abstracta: tanto en la teoría general como en sus aplicaciones a la semántica de programas, el análisis estático de programas, seguridad basada en el lenguaje, protección de activos digitales, y análisis de malware, entre otros temas. Roberto es autor de más de 100 publicaciones en revistas científicas internacionales y congresos, y también es miembro de los comités ejecutivos del ACM Symposium on Principles of Programming Languages (POPL) y del Static Analysis Symposium (SAS).
