My main research interests are in model-based design, in particular model transformation design and verification, model-driven methodology, simulation-based design, and application of MDE in non-computer science domains.