Formal Methods Engineering Lab: Home
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:
- Formal Methods
- Security
- Software Engineering / Programming Languages
News
- 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
Assistant Professor
Lu Maltsis
PhD Student
Andrei Zhukov
MSc Student
(ETH Zurich)
Joshua Bode
BSc Student
(U Manchester)
Nikita Kroshko
BSc Student
(U Manchester)
© Formal Methods Engineering Lab