Postdoc (2005-6)

Wing-Kwong Chan, Ricky (PhD 2004, HKU)
Assistant Professor, City University of Hong Kong

Current Students

Yueqi Li (PhD student working on analysis of event-driven software)

Yepang Liu (PhD student working on context-aware software)

Qiaona Hong (MPhil student working on developer social networks)

Tate Poon (MPhil student working on testing concurrent programs)

Graduated Students

Xinming Wang, Rubin (PhD 2010). Thesis: Automatic Localization of Code Omission Faults

Zhifeng Lai (PhD 2010). Thesis: Effective Detection of Atomic-Set Serializability Violation in Multithreaded Programs

Tsz Hin NG, Sam (PhD 2008). Thesis: The Effects of Pre-deploying Design Patterns on Software Changes
Instructor, City University of Hong Kong

Chang XU (PhD 2008). Thesis: Inconsistency Detection and Resolution for Context-Aware Pervasive Computing
Research Assistant Professor, The Hong Kong University of Science and Technology

Chunyang YE, Jerry (PhD 2008). Thesis: Atomicity Analysis for Service Composition
Postdoc, University of Toronto

Liping Gao (MPhil 2011) Thesis: Failure Proximity for Context-Aware Applications

Cham-ho Ting, Ivan (MPhil 2010). Thesis: Testing Strategy in Discovering Faults in Workflow

Yueqi Li (MPhil 2010). Thesis: Searching Configurations to Reproduce Software Failures

Dongming Xu (MPhil Computer Science and Technology 2009). Thesis: On the testing of the RFID security

Chunlin Zhu (MPhil 2009). Thesis: Classify and Rank Daikon Invariants on Embedded Systems
Developer, CMB Capital International (招银国际)

Mian Qin (MPhil 2008). Thesis: Wireless Sensor Network Fault Localization
Staff member, Microsoft Advanced Technology Center (ATC), Shanghai

Yuet-Mei LO, Cindy (MPhil 2005). Thesis: Business Process Atomicity Analysis Supporting Late Task Property Bindings

Yu-Ho YIU, Matt (MSc 2005) Project: A Financial Case Study of B2B System Integration
Software developer, HSBC

Wing-Leung CHAN, Christina (MSc 2004)

Sze-Chit HO, Cedric (MPhil 2004). Thesis: A Framework for the Verification of Watermarking Protocols.
Software developer, Milliontech

Chin-Ching TSOI, Lancelot (MSc 2004). Project: A Survey on Java Web Services Toolkits.
Software developer, Pacific Supernet

Sze-Wan LEE, Yoki (MSc 2003). Project: A Case Study on Semantic Web Services
Project Manager, PeopleSoft

Kelvin LEUNG (MSc 2002)

Hanif CURREEM (MPhil 2002). Thesis: Digital Copyright Management.
Derivatives Analyst Programmer, ABN AMRO

Zhengdong Xu (MPhil 2001). Thesis: Testing of Distributed Multimedia Systems.

Ting-Pong IP, Vincent (MSc 2000)
Security Consultant, HP

Ka-Cheong WONG (MPhil 2000). Thesis: Digital Rights Protection Against Watermark Attacks.
CTO, AsiaPacific.net

Man-Yee CHAN (MPhil 1999). Thesis: Extending White Box Testing to Database Applications.
Vice President, Asia Technology Chief Investment Office and Treasury, JPMorgan Chase Bank

Chi-Yung LAM (MPhil 1999). Thesis: Modeling and Analyzing Web-Based Information Systems.
Senior Manager, Accenture

Kam-Fai LEUNG (MPhil 1998). Thesis: A Framework for the Flexible Coupling of Groupware Widgets.
Executive Director, Goldman Sachs

Kwok-Hung CHEUNG, Herman (MPhil 1998). Thesis: Compositional Analysis of Distributed Software Systems.
System Architect, Peer Intelligence Technology Limited

Kam-Keung WONG (MPhil 1997). Thesis: Distributed Multimedia Authoring using Software Structures.

Chun-Man LO (MPhil 1996) Thesis: Verification of Dense Real-Time Distributed Systems by Using Discrete-Time Methods.