Model Driven Engineering

Our research on model-driven engineering develops languages and tools to express complex systems by describing their essential properties, often within a restricted domain, while automating or providing automated assistance to generate or synthesize an efficient implementation of the system.


Our security research includes foundations. It also includes systems built on provable properties. Besides such technologies, which provide demonstrable defense against concrete attacks, we also work on demonstrating security flaws in systems that are thought to be secure. In other words, we also like to break things.