Research Interests
I am interested in a number of research areas, including:
-
Model Driven Architecture
-
UML2Alloy: Analysis of UML model via Alloy (extension to Petri nets)
-
Fault tolerance
-
Quality of Service: Modelling, Design and Analysis (Model Checking)
- Hybrid System and Control (Agile Manufacturing Systems)
- MSc and PhD (Functional analysis and Topology)
