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
Pinned
FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester on FindAPhD.com
PhD Project - FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester, listed on FindAPhD.com
www.findaphd.com
We are hiring!
Suzanne Embury and I are looking for a talented Ph.D. student 👩🎓👨🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools.
www.findaphd.com/phds/project...
Suzanne Embury and I are looking for a talented Ph.D. student 👩🎓👨🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools.
www.findaphd.com/phds/project...
We are hiring!
Suzanne Embury and I are looking for a talented Ph.D. student 👩🎓👨🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools.
www.findaphd.com/phds/project...
Suzanne Embury and I are looking for a talented Ph.D. student 👩🎓👨🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools.
www.findaphd.com/phds/project...
FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester on FindAPhD.com
PhD Project - FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods at The University of Manchester, listed on FindAPhD.com
www.findaphd.com
November 5, 2025 at 10:25 PM
We are hiring!
Suzanne Embury and I are looking for a talented Ph.D. student 👩🎓👨🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools.
www.findaphd.com/phds/project...
Suzanne Embury and I are looking for a talented Ph.D. student 👩🎓👨🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools.
www.findaphd.com/phds/project...
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😵💫
🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring!
If you’re interested, feel free to reach out.
If you’re interested, feel free to reach out.
May 22, 2025 at 12:54 PM
🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring!
If you’re interested, feel free to reach out.
If you’re interested, feel free to reach out.
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.