I am a researcher and academician. My research interests are mainly focused on: Formal Reasoning and Analysis; Business Process Verification and Analysis; Dynamic Service Adaptation; Smart Cities; Models@run.time; Urban Traffic Control;Business process management; Governance, Risk Management and Compliance (GRC); Ontology Engineering;