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
People
Dominik Winterer
Assistant Professor
Andrei Zhukov
MSc Student
(ETH Zurich)
(ETH Zurich)
Joshua Bode
BSc Student
(U Manchester)
(U Manchester)
Nikita Kroshko
BSc Student
(U Manchester)
(U Manchester)