My main focus is in the use of formal methods and languages for modelling, planning and automation of workflows and dataflows for security, safety and medical health applications. My research interests are in the use of semantic technologies, situational models and Markov processes for hybridization.
My main focus is in the use of formal methods and languages for modelling, planning and automation of workflows and dataflows for security, safety and medical health applications. My research interests are in the use of semantic technologies, situational models and Markov processes for hybridization.