Mrs Nurulhuda A Manaf
Research Student, NICE
Qualifications: BSc (Hons) Computational Mathematics (UiTM, Malaysia, 2006), MSc Scientific Computation (Sussex 2009)
Phone: Work: 01483 68 2650
Room no: 34 BB 02
I am a graduate from Universiti Teknologi Mara (UiTM), Malaysia with BSc (Hons) in Computational Mathematics and MSc in Scientific Computation from University of Sussex, UK. I have obtained a scholarship from Ministy of Education Malaysia to pursue my PhD study at the Department of Computer Science, University of Surrey which started on January 2014.
I am currently working on Mathematical Modelling of the behavior of software systems that involve numerous interacting entities under supervision of Dr Sotiris Moschoyiannis and Professor Paul Krause.
- Web Service Choreography
- Semantic Modelling - models for concurrency
- Specification and verification of software