Jana Hofmann

Researcher interested in principled reasoning for relational properties.