Research
Research Topics
- Secure Computing
- Runtime Monitoring / Verification
- Runtime Security-Policy Enforcement
- Programming Languages
- Metalevel Architectures and Computational Reflection
- Concurrent Objects / Actors
- Functional Reactive Programming for Embedded Systems
- Formal Methods
- Verification Methods for Concurrent Systems
- Abstraction Mechanisms for Modular Verificaiton
- Software development
- Program Comprehension
Current Projects
- FRP for Distributed / Embedded Systems
- Concurrent / Distributed Context-Oriented Systems based on a Reflective Actor Model
- Robustness Analysis of Procedures under Human-Made Faults
- Advanced Source Code Reading Tool for Framework-based Software