Martina Lindorfer

lindorfer.in

07 July 2025 16:46

Please spread the word: Want to work on legal frameworks vs technological realities in S&P with @nikolausf.substack.com, @bprainsack.bsky.social & me? Apply by August 31 for a PhD in our interdisciplinary @wwtf.at funded #Vienna Doctoral College on Digital Humanism: jobs.univie.ac.at/job/Universi...

cascremers.bsky.social

05 July 2025 06:52

On August 26 and 27 I'll be speaking at the FOSAD 2025 summer school on "Formal Analysis of Security Protocols: State-of-the-art and Future Challenges", including some of our recent work on Tamarin and its applications. Apply by July 21st here: sites.google.com/uniurb.it/fo...

Eike Kiltz

kiltz.bsky.social

04 June 2025 16:47

Congratulations, Dr. Phillip Gajland for successfully defending his PhD thesis! It was a great journey!

strufe

strufe.bsky.social

22 May 2025 17:25

Congrats to the new and extended clusters of excellence, Bochum, Dresden, Hamburg, Darmstadt keep on rocking!

TU Darmstadt

tuda.bsky.social

22 May 2025 17:25

Reasonable Artificial Intelligence und The Adaptive Mind: Die TU Darmstadt wird im Rahmen der Exzellenzstrategie des Bundes und der Länder mit gleich zwei geförderten Clusterprojekten ausgezeichnet. Ein Meilenstein für unsere Universität! www.tu-darmstadt.de/universitaet...