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;
We’ve updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.