Raven Beutner

Um novo método pra verificar propriedades complexas de programas pra aumentar a segurança.

Uma nova lógica melhora o estudo das interações entre agentes em sistemas complexos.

Este estudo foca em monitorar o comportamento e as relações de sistemas complexos de forma eficaz.

Um método pra conserto automático de bugs de software com foco em privacidade e segurança.