Levi Lucio   
Research Associate
Modelling, Simulation and Design Lab
School of Computer Science
McGill University
McConnell Engineering Building, office 202
3480, University Street
Montreal, Quebec
Canada H3A 2A7
phone:
e-mail:
www:
+1 (414) 398-7071 (ext. 0364)
levi@cs.mcgill.ca
www.cs.mcgill.ca/people/levi
PHOTO     
   

I am currently a Research Associate at 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 software engineering and formal techniques. 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), model evolution, model based testing and tool construction.

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 Doctoral Fellow 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.



Events I've participated or will be participating in
5th Behaviour Modelling-Foundations and Applications (BM-FA) - Program Committee York, United Kingdom July 21, 2014
1st International Workshop “From Dependable to Resilient, from Resilient to Antifragile Ambients and Systems”, associated with ANT - Program Committee Hasselt, Belgium June 2-5, 2014
10th Workshop on Advances in Model Based Testing (A-MOST 2014), associated with ICST - Co-Organizer Cleveland, Ohio, USA March 31 - April 4, 2014
11th Bellairs CAMPaM workshop McGill University Bellairs Campus, Barbados February 7th - 14th, 2014
6th International Conference on Software Language Engineering Indianapolis, USA October 27-28, 2013
7th Workshop on Multi-Paradigm Modelling (MPM 2013), associated with MoDELS - Program Committee member Miami, Florida, USA September 30th, 2013
10th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2013), associated with MoDELS - Steering and Program Committee member Miami, Florida, USA October 1st, 2013
2nd Workshop on the Analysis of Model Transformations (AMT 2013), associated with MoDELS - Co-Organizer Miami, Florida, USA September 29th, 2013
16th International System Design Languages Forum Model-driven dependability engineering Montreal, Quebec, Canada June 26th - June 28th, 2013
2nd International Workshop the Verification of Model Transformations (VOLT 2013), associated with STAF - Program Committee member Budapest, Hungary June 17th - June 20th, 2013
10th Bellairs (Aniversary!) CAMPaM workshop McGill University Bellairs Campus, Barbados May 10th - May 17th, 2013
6th International Conference on Software Testing, Verification and Validation (ICST 2013) - Workshop Chair Luxembourg city, Luxembourg March 18th - 22nd, 2013
22nd Annual International Conference hosted by the Centre for Advanced Studies Research, IBM Canada Software Laboratory Toronto, Canada November 5th - 7th, 2012
6th International Workshop on Multi-Paradigm Modeling (MPM 2012), associated with MoDELS - Program Committee member Innsbruck, Austria October 1st, 2012
1st Workshop on the Analysis of Model Transformations (AMT 2012), associated with MoDELS - Co-Organizer Innsbruck, Austria October 2nd, 2012
7th Workshop on Models and Evolution (ME 2012) Innsbruck, Austria October 2nd, 2012
9th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2012), associated with MoDELS - Co-Organizer Innsbruck, Austria September 30th, 2012
15th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2012) Innsbruck, Austria September 30th - October 5th, 2012
9th Bellairs CAMPaM workshop McGill University Bellairs Campus, Barbados April 28 - May 5th, 2012
1st Workshop on the Verification and Validation of Model Transformations (VOLT 2012), associated with ICST - Co-Organizer Montreal, Quebec, Canada April 21, 2012
5th International Conference on Software Testing, Verification and Validation (ICST 2012) Montreal, Quebec, Canada April 17-21, 2012
21st Annual International Conference hosted by the Centre for Advanced Studies Research, IBM Canada Software Laboratory Toronto, Ontario, Canada November 7-10, 2011


Maintained by Levi Lucio. Last Modified: 2011/06/15 12:16:57.