Aarhus University Seal

Stefan Hallerstede

Associate Professor

Stefan Hallerstede
See relations at Aarhus University


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.

View all (46) »

View all (43) »

View all (1) »

Latest activities and conferences

ID: 52787443