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