The Formal Methods Engineering (FME) Lab, part of the Software and Systems Security group at the University of Manchester (Department of Computer Science), led by Dominik Winterer, aims at solidifying Formal Methods and other software by automated bug finding.
Core Areas:
- Software Engineering / Programming Languages
- Formal Methods
- Security
News
- Oct '26 Lu Maltsis won Third Place 🥉 in the Student Research Competition at OOPSLA/ISSTA '26! Congratulations Lu! 🎉
- Oct '26 Kareem Seifo joins the lab as a PhD student! Welcome Kareem! 🎉
- Sep '26 Taimor Alam joins the lab to work on their third-year project! Welcome Taimor!
- Jul '26 Lu Maltsis' abstract has been accepted at the Student Research Competition at OOPSLA '26!
- May '26 Andrei Zhukov's abstract on CAST: Continuous Fuzzing for SMT Solvers has been accepted at PLDI SRC '26!
- Jan '26 Lu Maltsis joins the lab as a PhD. student! 🎉
- Dec '25 Dominik will be co-organizing the ASE '26 student research competition
People
Dominik Winterer
Lab lead
Lu Maltsis
PhD Student
Kareem Seifo
PhD Student
Taimor Alam
BSc Student
(U Manchester)
(U Manchester)
Alumni
Andrei Zhukov
MSc Thesis
Now: Security Engineer@GetYourGuide
Now: Security Engineer@GetYourGuide
Previous Interns
Joshua Bode
BSc Student intern
(U Manchester)
(U Manchester)
Nikita Kroshko
BSc Student intern
(U Manchester)
(U Manchester)