Stefan Hallerstede's research focuses on applied formal methods. This covers theoretical foundations, tool development and industrial use of mathematical technique for the description and development of computer systems.
In the past, he has contributed to the development of the Event-B modelling formalism and co-developed the associated software tool called Rodin. He is currently working on modelling and verification of sequential and concurrent programs, formal support for requirements analysis and, more generally, the use of formal techniques in early stages of (computer) systems engineering.
