Jana Hofmann
@jana_tweets_cs
Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.
ID: 1273521487698427905
http://janahofmann.github.io 18-06-2020 07:43:40
102 Tweet
485 Followers
259 Following
📣 News! I am excited to announce that I will join MPI for Security & Privacy as tenure-track faculty in October! 🥳 I am very much looking forward to working with my future colleagues at MPI-SP and Ruhr-Universität Bochum 1/2 mpi-sp.org/66902/news_pub…