Postal addressDepartment of Telematics Norwegian University of Science and Technology 7491 Trondheim Norway
- Communication and distributed systems
- Security and vulnerability
- System development and design
- Theoretical computer science, programming science and theory
Background and activities
- Model-Based Engineering of Networked Services based on Collaborative Techniques
- Functional and Security Aspects of Distributed Component-Structured Software
- Trust Management Issues
- Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems
Reactive Blocks, the tool for engineering networked services. You find more information here.
A comprehensive list of my publications can be found on my homepage.