Stefan Hallerstede

Find

Danish

Department of Electrical and Computer Engineering

Aarhus University Seal / Aarhus Universitets segl

Associate professor

Department of Electrical and Computer Engineering - Software Engineering & Computing systems - Turing
Åbogade 34
building 5341
8200 Aarhus N
Denmark
sha@ece.au.dk
Phone: +4541893345

See relations at Aarhus University

Visit my research group page - Applied Formal Methods

Profile

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.

Latest publications

Published
On the Design of a New Software Engineering Curriculum in Computer Engineering
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
A Non-unified View of Modelling, Specification and Programming
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Literature review › Research