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
- 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
Alumni
Andrei Zhukov
MSc Thesis
Now at GetYourGuide
Now at GetYourGuide
Previous Interns
Joshua Bode
BSc Student intern
(U Manchester)
(U Manchester)
Nikita Kroshko
BSc Student intern
(U Manchester)
(U Manchester)