Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.

ID: 1273521487698427905

linkhttp://janahofmann.github.io calendar_today18-06-2020 07:43:40