iiinova — where your digital self keeps evolving

Dominik Winterer

@dominikwinterer.bsky.social

159 followers 97 following 7 posts

Assistant Professor (Lecturer) at University of Manchester Formal Methods Engineering Lab: manchester-fme.github.io

Posts Replies Media

Dominik Winterer @dominikwinterer.bsky.social · 16/07/2026

🇩🇪 Excited to co-chair the ASE 2026 Student Research Competition with Andrea Stocco! 📄 Submit your abstract (2 pages max) by July 30 and compete for $500/$300/$200 prizes. conf.researchr.org/track/ase-20...

010

Dominik Winterer @dominikwinterer.bsky.social · 13/04/2026

📢 SMT-COMP '26 — Call for Comments & Preliminary Call for Solvers! 📝 Preliminary solver submissions & comments by May 1 http:// smt-comp.github.io/2026/ CC: Martin Jonáš, Tomáš Kolárik

001

Dominik Winterer @dominikwinterer.bsky.social · 05/11/2025

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...

findaphd.com

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

043

Dominik Winterer @dominikwinterer.bsky.social · 10/09/2025

When real looks more AI filtered than AI filtered itself😵‍💫

040

Dominik Winterer @dominikwinterer.bsky.social · 22/05/2025

🚀 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.

manchester-fme.github.io

Formal Methods Engineering Lab: Home

0136

Dominik Winterer @dominikwinterer.bsky.social · 22/05/2025

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.

380