Aarhus Universitets segl

Stefan Hallerstede


Stefan Hallerstede
Se relationer på Aarhus Universitet


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.

Vis alle (46) »

Vis alle (43) »

Vis alle (1) »

Seneste aktiviteter og konferencer

ID: 52787443