Research Interests

Big Data

NoSQL Databases

IoT applications

Software Development

Model Driven Engineering (MDE) : Meta-Modelling & Model Transformation

Formal Specification & Verification

Petri nets Extensions, Properties & Tools

Model Checking

Behavioural Analysis and Simulation

Complex Systems

Systems Biology & Biological Complex Systems