🇩🇪 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...
Dominik Winterer
@dominikwinterer.bsky.social
Assistant Professor (Lecturer) at University of Manchester Formal Methods Engineering Lab: https://manchester-fme.github.io
📢 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
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...
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
findaphd.com
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.
Formal Methods Engineering Lab: Home
manchester-fme.github.io
Dominik Winterer@dominikwinterer.bsky.social · last yr.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.
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.