I was awarded a PhD from the University of Geneva, Switzerland, in 2008, for my work on Model-Based Testing. For the past years I have led research on the verification of model transformations based on the DSLTrans language, partly in collaboration with General Motors. This research has materialised in several publications, a best application paper award (at ICMT 2014), several completed and ongoing PhD thesis, and the SyVOLT tool.

My research is about bridging software engineering and formal techniques. Some of my current concrete areas of interest are the analysis of model transformations and software models in general, correctness-by-construction, domain specific languages, models of concurrency (in particular Petri nets and statecharts), model evolution, model based testing and tool construction. In recent times I became increasingly interested in machine learning and its relationship with formal methods.

In the past I have performed research and lectured at several institutions, including CERN, the University of Geneva, McGill University and the Technical University of Munich.

In 2019 the calling of the industry became too strong to resist and since then I work as a Software Architect for Airbus Defence and Space, in Manching, Germany. My main activities at Airbus are in virtual engineering, simulation and modelling. My mail address at Airbus is "levi.lucio(at)airbus.com".

Here are my DBLP and Google Scholar entries.