Biography

I graduated from the Faculty of Automation and Computer Science at  Politehnica University of Timisoara, Romania in June 2009, gaining an engineer diploma in Computing after 5 years of long- term studies (equivalent to a Master’s degree). Following this, I studied for a Master’s degree in “Mathematical Models in Engineering'' at Politehnica University of Timisoara, graduating in September 2011.  

I am now studying for my PhD within the Computing Department at the University of Surrey. Working closely with the ERIE project, (http://erie.surrey.ac.uk)  my research is addressing the development of  automated verification techniques  for capturing the alternative ways in which an industrial ecosystem may evolve and, in turn, checking the properties that characterises the different possible outcomes.  My supervisors are Dr Sotiris Moschoyiannis and Dr Lauren Basson.