09. to 11. February 2026
Showroom (DHEG136E) | Sandgasse 36, Erdgeschoß
It is a pleasure to invite you to the colloquium for our Professorship in Software Engineering
at Graz University of Technology. The public part will be a short teaching sample at
Bachelor‘s level 3rd year in Computer Science on Software Quality Assurance with the focus
on Property based testing, a scientific talk (titles below) followed by a discussion with the
audience.
Andrea Pferscher
09. February 2026 | 08:30 | Webex Meeting – Colloquium CSBME (Kennwort: CSBME)
https://tugraz.webex.com/webappng/sites/tugraz/meeting/info/e1f8bc6a388f4262ae4b2428223dbeed
Title: “Enhancing the Capabilities of Digital Twins by Formal Methods”
Martin Tappler
09. February 2026 | 11:00 | Showroom (DHEG136E)| Sandgasse 36, Erdgeschoß
Title: Enhancing Trust in Reinforcement Learning:
Combining Software Testing, Formal Methods, and AI
Ernst Gidon
09. February 2026 |16:30 | Showroom (DHEG136E)| Sandgasse 36, Erdgeschoß
Title: Towards expressive formal methods within software development
Mandrioli Claudio
10. February 2026 | 11:00 | Showroom (DHEG136E)| Sandgasse 36, Erdgeschoß
Title: Bridging Software and Control Engineering
for Holistic Cyber-Physical Systems Verification and Validation.
Ma Wei
10. February 2026 | 16:30 | Showroom (DHEG136E)| Sandgasse 36, Erdgeschoß
Title: Engineering Trustworthy Software in the Age of AI
Macho Christian
11. February 2026 | 11:00 | Showroom (DHEG136E)| Sandgasse 36, Erdgeschoß
Title: "Building Intelligent CI Systems: Reducing Build Overhead
with Dependency Analysis and Automated Repair"
Niu Feifei
11. February 2026 | 16:30 | Showroom (DHEG136E)| Sandgasse 36, Erdgeschoß
Title: AI-Powered Software Quality Assurance across Code and Requirements
More information (abstracts and bios) of the candidates