Noticias del Instituto IMDEA Software
El Instituto IMDEA Software es uno de los desarrolladores principales de este innovador servcio de reconocimiento de amenazas.
Gilles Barthe y Francois Dupressoir, investigadores del Instituto IMDEA Software, han contribuído al descubrimiento de n...
Investigadores del Instituto IMDEA Software han sido seleccionados como mentores en el primer programa nacional de aceleración en Ciberseguridad.
El Instituto IMDEA Software alojó y co-organizó el primer seminario de la escuela de doctorado de Instituto IMDEA Softwa...
Representates del Gobierno Autonómico de Madrid visitan nuestro instituto y participan en la reunión del Patronato.
Carmela Troncoso, investigadora del Instituto IMDEA Software, actuó como conferenciante invitado en el congreso mundial ...
La I Conferencia IMDEA, Ciencia, Industria y Sociedad tuvo lugar en la sede del Instituto IMDEA Materiales en Getafe (Ma...
Damos la bienvenida a Carmela Troncoso como investigadora del Instituto IMDEA Software.
Cuatro artículos de investigadores del Instituto IMDEA Software aceptados para publicación en el Simposio ACM de Lenguajes de Programación (POPL) 2016, de máximo nivel en este área.
Boris Köpf, Juan Caballero y Dario Fiore, investigadores de Instituto IMDEA Software, han ganado tres prestigiosas becas...
Un trabajo realizado por investigadores de IMDEA ha recibido el premio al mejor artículo en las “Jornadas Nacionales de Investigacion en Ciberseguridad”
Alejandro Sánchez ha defendido con éxito su
tesis doctoral "Formal Verification of Temporal Properties for
Parametrized Concurrent Programs and Concurrent Data Structures".
El Instituto IMDEA Software participa en La Noche Europea de los
Investigadores de Madrid 2015 con la actividad "Ciencia y científicos de cine
¿la realidad supera a la ficción?"
Es un enorme placer dar la bienvenida al Profesor Somesh Jha, de la Universidad de
Winsconsin, Madison, como investigador invitado en el Instituto IMDEA Software
Cuatro artículos de investigadores de Instituto IMDEA Software han sido aceptados para su publicación en el congreso de la ACM sobre Seguridad Informática y Comunicaciones (CCS), una de los más prestigiosos congresos en este área.
El Instituto IMDEA Software obtiene de la "Office of Naval
Research (ONR)" de EEUU financiación para el proyecto Syncrypt en ciberseguridad.
Aleks Nanevski investigador de Instituto IMDEA Software invitado a impartir una clase en Conference on Mathematical Foundations of Program Semantics (MFPS)
IMDEA Software Institute researcher Pavithra Prabhakar
and her student Ratan Lal
have published their work on analyzing parameterized linear systems in
EMSOFT, a top-ranked conference in the field of embedded software.
El investigador Pierre Yves Strub y el estudiante de doctorado
Antonio Nappa han sido premiados por
sendas publicaciones en el Simposio de Seguridad y Privacidad 2015 del IEEE.
La primera reunión científica del proyecto COST (EU) “Runtime Verification beyond Monitoring (ARVI)” ha teni...
Miguel Ángel García de Dios ha defendido con éxito su tesis doctoral "Model-driven Development of Secure Data-Management Applications".
Cuatro publicaciones de investigadores del Instituto IMDEA Software han sido aceptadas para su publicación en un congreso de primer nivel internacional en el área de verificación asistida por ordenador.
El Profesor John Gallagher ha sido
galardonado con el premio a la mejor publicación en el 2015
Workshop on Partial Evaluation and Program Manipulation.
2º Workshop Microsoft Research - Instituto IMDEA Software (MICW 2015) celebrado el 9 y 10 de Abril.
El Instituto IMDEA Software ha publicado su Informe Anual 2014.
El Instituto IMDEA Software ha sido galardonado con una Mención Honorífica en el área de Cooperación Publico-Privada, pr...
Nueva vulnerabilidad de seguridad que afecta a
un gran número de servidores web y clientes
descubierta por el investigador
Pierre Yves Strub con colaboradores
en INRIA Rocquencourt, Francia y INRIA Rocquencourt, Francia.
El pasado miércoles 18 de febrero la Directora General de Universidades e Investigación de la Comunidad de Madrid visitó la sede del Instituto IMDEA Software.
Es un placer para nosotros dar una calurosa bienvenida al Profesor Ben Livshits como profesor visitante en el Instituto ...
Cuatro publicaciones de investigadores del Instituto IMDEA Software han sido aceptadas para su publicación en el Simposio de Seguridad y Privacidad, un congreso del máximo nivel en esta importante área.
La primera edición de los Seminarios Itinerantes de Criptografía, una serie multi-institucional dirigida a la promoción ...
