Research Areas

  • Safe Languages and Computer Security
  • Virtual Machines, Dynamic Compilation and Optimization (Trace Compilation)
  • Embedded and Resource Constrained Systems

Completed Research Projects

  • Efficient Component Architectures
  • Aspect-Oriented Programming (AspectC++)
  • Family-based Design and Implementation of Embedded Operating Systems (PURE)