Ruhr-Uni-Bochum
Person mit lockigem Haar, schwarzem Rollkragenpullover und goldener Kette vor unscharfem Hintergrund. Es handelt sich um Jana Hofmann.

Jana Hofmann

Institution: Max Planck Institute for Security and Privacy / CASA

E-Mail: jana.hofmann@mpi-sp.org

Adress: MB 5/59

Website: https://janahofmann.github.io

Publications:

A Deductive System for Contract Satisfaction Proofs

Back to overview