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
- Security and Access Control
- System Modelling
- Quality of Service: Modelling, Design and Analysis (Model Checking)
- Hybrid System and Control (Agile Manufacturing Systems)
- MSc and PhD (Functional analysis and Topology)