He is interested in bringing software research, model-based software development, and functional programming into practice. He is developing a meta-modeling infrastructure and diagram editors for MATLAB and Simulink. Before joining the industry, he received a PhD degree at the University of Waterloo (2013). For his thesis, he designed and developed Clafer, a language for modeling and analyses of software product line variability. He also contributed to the specification of the OMG Common Variability Language standard proposal, and worked on example-driven modeling, an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge.