Hamilton Walk (Extended Version), 16th October, 2010.

Hi, welcome to my webpage. I am a postgraduate (2nd year Ph.D) student in the Department of Computer Science at National University of Ireland, Maynooth (NUI,Maynooth) where I received my B.Sc. in Computer Science.

I was born and raised in Shanghai. I grow up in a way pretty much like other kids did until I came to Maynooth. After being away from home for a long time, I realise one of the biggest things I miss from home is my mom's food flavour.

Now, doing research in Maynooth adds a new flavour into my life. My research mainly focuses on model checking & specification, formal methods programming language design and software testing. My supervisors are James Power and Rosemary Monahan.

Although my time is mostly taken by my research, I also participate in other activities. One of the things I really enjoy is playing table tennis and I am always up for a good game.