Dominik Winterer
@dominikwinterer.bsky.social
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Formal Methods Engineering Lab: https://manchester-fme.github.io
When real looks more AI filtered than AI filtered itself😵💫
September 10, 2025 at 5:57 PM
When real looks more AI filtered than AI filtered itself😵💫
Super excited to share that I will be joining The University of Manchester (@manchester.ac.uk) as a Lecturer in Cyber Security (equivalent to Assistant Professor)!
The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.
The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.
May 22, 2025 at 12:50 PM
Super excited to share that I will be joining The University of Manchester (@manchester.ac.uk) as a Lecturer in Cyber Security (equivalent to Assistant Professor)!
The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.
The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.