ulrik nyman

Research interests

My current research interests are centered around Interface Theories. This includes both Timed Interface Theories as implemented in the ECDAR tool and Modal Interface Theories extended with data as currently under implementation in the MIO Workbench.

In connection with the ReComp research project I am also involved in applying some of these theories on case studies.