He received an M.Sc. in Computer Science from Berlin University of Technology in 1992, an M.Sc. in Pure and Applied Logic in 1994 and a Ph.D. in Computer Science in 1999 from Carnegie Mellon University. He is on the editorial board of the Springer journal Software and Systems Modeling (SoSyM) and was PC Co-chair of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS'14) and of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11). At Queen's, he leads the Modeling and Analysis in Software Engineering Group (MASE). His research interests include software modeling, model-driven engineering, and formal methods. His research interests include software modeling, model-driven engineering, and formal methods.