Es un enorme placer dar la bienvenida al Profesor Somesh Jha, de la Universidad de Winsconsin, Madison, como investigador invitado en Instituto IMDEA Software. El profesor Jha es bien conocido por su trabajo visionario en seguridad de la información, métodos formales, lenguajes de programación, ingeniería del software, y computación en finanzas. Somesh es autor de alrededor 100 publicaciones en congresos internacionales y revistas científicas, ha sido galardonado con el premio CAV 2015 y recibió también el NSF CAREER Award.