I am currently a Post Doctoral fellow of the Modeling, Simulation, and Design Lab, working with Prof. Hans Vangheluwe. I am doing research on model transformation verification for the NECSIS (Network on Engineering Complex Software Intensive Systems for Automotive Systems) project. NECSIS is a project involving several canadian universities and having as goal improving the state of the art of software development in the automotive industry. Our main industrial partners are IBM and General Motors. My academic work is sponsored by the Natural Sciences and Engineering Research Council of Canada.

My research is about bridging formal techniques and software engineering. I am interested in understanding how today's complexity in software engineering can be mastered by relying on, or building new, theoretical results. In particular I am interested in understanding how theoretical results apply to and improve the state of the art of Model Driven Engineering (MDE). Some of my current concrete areas of interest are model transformation languages, the verification of model transformations, correctness by construction, models of concurrency (in particular Algebraic Petri Nets), software evolution and model based testing. If any of these topics interests you (or better, if you are passionate about any of these topics!), check out what I'm doing now.

Previously to McGill I worked as a research associate at the University of Luxembourg, Luxembourg (LASSY group), managing a project on resilient software systems. Before that I worked as a post-doc for the Universidade Nova de Lisboa, Portugal (SOLAR group), developing a model transformation language and a transformation verification technique. I completed my PhD. thesis in 2008 at the University of Geneva, Switzerland (SMV group), where I formally defined a language for test case specification in the context of concurrent system models. Previously to working in the academia I was employed as a software engineer at CERN (European Organization for Nuclear Research), while studying for an MSc. in Software Engineering and Database Technology at the University of Sunderland, England. My first university degree in software engineering was awarded by the Instituto Superior Técnico of Lisbon, Portugal. Despite all my ramblings I am, and will remain, Portuguese.