Courses and Public Lectures by Our Guest Professors in 2025
Join the courses held by this year’s renowned guest professors of our doctoral colleges and the TU Wien Informatics Doctoral School.

On This Page
International collaboration is at the heart of TU Wien Informatics Doctoral School. Every year, we host guest professors from around the world. Here’s a snapshot of the public lectures and courses by our guests in 2025.
Public Lectures
These lectures are open to everyone and are part of our Current Trends in Computer Science lecture series.
Winter Semester
- October 8, 2025 // Normative decision-making strategies, and what they tell us about the brain by Jan Drugowitsch (Harvard Medical School, USA)
Summer Semster
- April 8, 2025 // Decolonizing the Future - Computer Science Is not Just Science/Engineering Anymore As It Used to Be in the Old Days by Hans Akkermans (Vrije Universiteit Amsterdam (emeritus), University for Development Studies UDS, Tamale, Ghana)
- April 10, 2025 // Rational Capability in Concurrent Games by Emiliano Lorini (CNRS, IRIT, University of Toulouse, France)
- May 7, 2025 // Sustainable Cybersecurity by Johannes Buchmann (Technical University of Darmstadt, Germany)
- May 22, 2025 // Simplicial Epistemic Semantics by Hans van Ditmarsch (CNRS, IRIT, University of Toulouse, France)
- June 11, 2025 // Assume-Guarantee Contracts for Trustworthy Autonomous Cyber-Physical Systems by Pierluigi Nuzzo (UC Berkeley, USA)
- June 25, 2025 // The Cognitive Science of Modeling Tools by Alfonso Pierantonio (Università degli Studi dell’Aquila, Italy)
Stay tuned for updates about upcoming lecturers, topics, and dates!
Courses
To enroll in these courses as a student, simply register for them on TISS.
Winter Semester
-
Avanced Topics in Verification and Synthesis for AI-Enabled Cyber-Physical Systems by Alessandro Abate (University of Oxford, UK)
-
SMT Solving Internals by Nikolaj Bjorner (Microsoft Research, USA)
-
Knowledge Representation for Robotics, Automotive, and SmartCities by Danh Le-Phuoc (TU Berlin, Germany)
-
Weighted Automata and Weighted Logics by Manfred Droste (Universität Leipzig, Germany)
-
Philosophy of Science by Matti Tedre (University of Eastern Finland, Finland)
Summer Semester
- ICT4D: Digital Humanism and Global Development by Hans Akkermans (Vrije Universiteit Amsterdam (emeritus), University for Development Studies UDS, Tamale, Ghana)
- Introduction to Quantum Algorithms by Johannes Buchmann (Technical University of Darmstadt)
- Model-Driven Engineering with Jjodel: A Practical Approach to Language Workbench Design by Alfonso Pierantonio (Università degli Studi dell’Aquila)
- Reasoning about Gossip by Hans van Ditmarsch (CNRS, IRIT, University of Toulouse, France)
- Logics for Autonomous Agents and Multi-Agent Systems by Emiliano Lorini (CNRS, IRIT, University of Toulouse, France)
- High-Assurance Design Methods for Trustworthy Cyber-Physical Systems: A Contract-Based Approach by Pierluigi Nuzzo (UC Berkeley, USA)
Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.