Bernd Finkbeiner

Este estudio se centra en monitorear de manera efectiva los comportamientos y relaciones de sistemas complejos.

Un método para la corrección automática de errores de software enfocado en la privacidad y la seguridad.

Las explicaciones contrafactuales ayudan a desentrañar fallos en sistemas en tiempo real.