A formal framework and tool for multilevel modelling using Eclipse Modelling Framework.
Software Engineer, graduated on June 2013, MSc in July 2014. Experienced in the research field. Author or coauthor of several articles for conferences and journals. Interested in research and new technologies in general. Currently working as a PhD Research Fellow in Høgskulen på Vestlandet (Norway).
An automatic process for rearchitecting metamodels into multilevel models.
Integration of Runtime Verification into Metamodelling, oriented towards verification of behavioural Domain Specific Modelling Languages.
Model Transformation Testing based in contracts.