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)