I am teaching on the OSD course

Here are some slides on Computational linguistics

Slides from my talk on model transformation verification

Research Areas

I am a member of the SMAL research group in the Department of Informatics. My particular areas of interest are:


  1. Carnegie UK Carnegie Lab project: Software Engineering training for employment skills. 6700. April 2016-September 2017.
  2. MTNET Model Transformations Network project, a UK Network project
  3. Collaborate on ENGINE EU project, with Wroclaw University, Poland, in the area of requirements engineering.

Recent Papers

Model Transformation Design Patterns

A Framework for Model Transformation Verification

Patterns for Model Transformations (ICSEA 2011)

Slicing of UML Models (ICSOFT 2010, MODELS 2010)

Specification and Verification of Model Transformations (IFM 2010)

(Presented at ROOM 2, June 1998)

(Presented at ECOOP 98, Workshop 6)

Catalogue of model transformations


Current/Recent PhD Students

Hessa Alfraihi (Agile Model-Driven Development)

Sobhan Yassipour-Tehrani Requirements engineering for model transformations.

Shekoufeh Kolahdouz-Rahimi (Model transformation specification): Awarded 2013

Kleopatra Chatziprimou (Optimisation of cloud computing environments): Awarded 2016

Krikor Maroukian (MDD for business modelling)

Ravinder Singh-Zandu (MDD for business modelling)

Previous Projects

Points of Esteem

I am an editor of the Software Systems Modelling journal (Springer).

I am on the programme committee of MODELS, VOLT, AMT, PAME, MODELSWARD and ICSEA.