Welcome!

Hi! I am Sherly N. Nietiadi, currently a PhD student under the supervision of Dr. Clare Dixon and Dr. Boris Konev in the LoCo group at the department of Computer Science in the University of Liverpool.

A Little Bit of Me

I originally come from Indonesia, was born in November 1984 in a city named Surabaya of East Java island. I grew up in Denpasar, Bali until 1998.
My interests of research area include system verification methods, behaviour graphs construction, and web-designing.

My Education History

1. July 1998 - November 2001:: Goulburn Valley Grammar School, Shepparton, Victoria, Australia.
Achievement: 50% Scholarships throughout attendance.
2. September 2002 - July 2005:: Bachelor (Honours) of Science in Mathematics at University of Liverpool.
Achievement: Summer 2004 project, supervised by Dr A. Piunovskiy and funded by The Nuffield Foundation.
3. September 2005 - September 2006:: Master of Science in Computer Science at University of Liverpool. Dissertation title: Behaviour Graph for Temporal Logic. Dissertation supervisor: Dr. Clare L. Dixon.
Achievement: International Student Scholarship from University of Liverpool.
4. October 2007 - current:: PhD in Computer Science, focusing on Temporal Logics with Constraints at University of Liverpool. Main supervisors: Dr Clare L. Dixon and Dr Boris Konev.
Achievement: ORSAS (Overseas Research Student Award Scholarship) and Computer Science Department Bursary.

Contact Me

If you wish to contact me for whatever reasons, feel free to do so:

Sherly Novelia Nietiadi
Department of Computer Science
University of Liverpool

Room 1.09
The Ashton Building
Ashton Street
Liverpool
L69 3BX
United Kingdom

Email: sherly.nietiadi@liv.ac.uk
Tel: (+44 151) 795 4239 or 54239 (dept only)