LIU Yang

Ph.D Candidate

School of Computing
National University of Singapore
10 Kent Ridge Cresent, Singapore 119260

E-mail: liuyang AT comp.nus.edu.sg
Tel: (65) 6874 2834
Fax: (65) 6779 4580
Office: S15 06-16

About Me

I am a graduate research student in School of Computing, NUS. My current research interests are related to Formal Method, Web Services Orchestration and Model Checking supervised by Dr. Dong JinSong and Dr. Rudy Setiono. A wiki version of this website is available here using TiddlyWiki. My CV is available here.
Currently, I am doing an internship in Microsoft Research Asia theory group, Bei Jing .

Education

July 2005 - Present, National University of Singapore, Singapore
Ph.D., (in progress).
July 2001 - Jun 2005, National University of Singapore, Singapore
Bachelor of Computing Science with Honour First Class.
Mathematics Minor
Dec 2000 - Jun 2001, National Institute of Education, Singapore
Intensive English training course.
Sep 2000 - Nov 2000, Zhe Jiang University, China
Electrical Engineering in an accelerated class. Received scholarship from Ministry of Education, Singapore after two months.

Teaching Experiences

Aug 2007 - Dec 2007, CS3215 Software Engineering Project, SOC, NUS
Course Instructor
Jan 2007 - May 2007, CS3215 Software Engineering Project, SOC, NUS
Course Instructor
Course Information
Aug 2006 - Dec 2006, CS2103 Software Engineering, SOC, NUS
Tutor
Tutorial Resources
Aug 2004 - Dec 2004, CS2103 Software Engineering, SOC, NUS
Tutor
2002 - 2003, Computing Club, NUS
Teaching Assistant for Flash, ASP.NET courses

Work Experiences

June 2007 - Dec 2007, School of Computing, National University of Singapore
Part Time Programmer for Research Projects
Developed PAT, a simulator and model checker for CSP.
June 2006 - June 2007, Chinese Faculty, National University of Singapore
Software Developer
Developed Corpus, a Chinese words analysis tool.
Developed the website for Chinese faculty.
Nov 2005 - May 2006, National University of Singapore
Full Time Research Assisstant
Feb 2005 - May 2006, Syntec, Singapore
Software Architect
Developing an electronic document design and Management System.
Feb 2005 - April 2005, Search media and Technology, Singapore
Part-Time Software Developer
Developed an advertisements publishing and searching portal.
May 2003 - May 2005, Wieland Metal Singapore, Singapore
Part-Time Software Developer
Developed an ERP application framework WMSAF based on the ERP system SOLOMON.
Developed 10+ application modules for WMSAF: Quotation Manager, Claim Manager, CSMAT, NCCM, SDMR and Demand Analyser Currently, it has running for 3 years and going to version 3.0.
Dec 2003 - May 2004, Wieland Metal Singapore, Singapore
Instrustery Attachment: Part-Time Programmer
Developed several small scaled MS access applications.

Publication

J. Sun, Y. Liu and J. S. Dong. Bounded Model Checking of Compositional Processes, 2nd IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2008), NanJing, China, Jun. 2008. (accepted)
Y. Liu, J. Sun and J. S. Dong. An Analyzer for Extended Compositional Process Algebras, The 30th International Conference on Software Engineering (ICSE 2008), Germany, 2008. (accepted)
J. S. Dong, Y. Liu, J. Sun and X. Zhang, Verification of Computation Orchestration via Timed Automata. 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, November 2006.
Y. Liu and J. Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. International Workshop on Web Languages and Formal Methods (WLFM'05), joint with FM'05, University of Newcastle upon Tyne, UK, 2005

Scholarship and Awards

Microsoft Asia Research Fellowship 2007
The annual Microsoft Fellowship Program is designed to support talented PhD students who have the potential to become future research leaders. Over the past seven years, 159 recipients have participated in the program. Fellowships have been awarded to outstanding students from more than 30 universities and research institutes throughout the Asia-pacific Region since 1999.
Thanks to the support of my supervisor and lab mates, I will not get it without their help.
Tata Consultancy Services Asia Pacific Medal and Prize
The second best graduate throughout the course of study for the Bachelor of Computing (Honours) in the School of Computing, NUS)
NO 4 in Microsoft Imagine Cup Competetion, Singapore, 2005 May
We are a gang of four: Guo Liang, Huang Wenfan, Liu Yang and Ng Junping. We developed the eWorld System, which is a sign language capture and interpretation system, supervised by Dr Huang Zhiyong.
Place on Dean's List in academic season 2004/2005
Place on Dean's List in academic season 2003/2004
Place on Dean's List in academic season 2002/2003
Place on Dean's List in academic season 2001/2002.
Undergraduate Scholarship for PRC Students from MOE, 2000

International Referee

Sixth International conference on Quality Software (qsic06), October 2006, Beijing, China.
Fourth international symposium on Automated Technology for Verification and Analysis (atva06), October 2006, Beijing, China.
The 5th International Semantic Web Conference (iswc06), November 2006, Athens, GA, USA.

Research Projects

ORC to TA Project
Fair CSP Model Checker
A model checking tool for the process algebra (e.g. CSP) with the support of fairness.
SWRL2CLPR
Process Analysis Toolset (PAT)
A simulator and model checker for CSP with fairness support.

Sudoku Game

I wrote a small sudoku game using C# 2.0. To run it, you need .NET framework 2.0 installed. The installation file will lead you to the download of the .NET framework 2.0. If case you can not run the installation file, you can try the direct executable files.
I implementatd most of the popular strageties: hidden elements, naked elements, sub-group and x-wing.
Have fun. (no virus and spyware for this game, don't need to worry.)

News update about the Sudoku software at 26, July 2007
Singapore Changi Airport is having the Sudoku competetion inside Terminal 1 and Terminal 2 from 27 July to 26 Aug 2007, which is based on my small game. It is a server-client application, where server sends the games to the clients and passengers finish the puzzle and send the result back to the server.

My friend Guo Liang and I did the programming for this event. It is really exciting to work inside the best airport in the world!

Football Betting Game

I wrote a football betting game: SmartBET88, which suggests the player to bet the football matches in Singapore. The calculation of bet strategy and winning probability are quite complicated but interesting. Since this is a commercial software, the details are not revealed here for the confidentiality.

Useful Links

The ACM Computing Classification System
CiteSeer
ZML
CZT
CAJOLE
JPad Project by Sam
An interesting project about how to make an ergonomic input device.
Corpus Update History
Software Engineering Conferences with Google Map

Last Updated: Feb 22, 2007
stats