Ms Diana Cionca
Research Student, DE
Qualifications: BSc(Computer Science), MSc(Computer Science, Mathematics Applied in Engineering)
Phone: Work: 01483 68 3613
Room no: 35 BC 02
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.