Wing-Kwong Chan, Ricky (PhD 2004, HKU)
Associate Professor, City University of Hong Kong
Ming Wen (PhD student working on automated debugging using software change information)
Lili Wei (PhD student working on Android fragmentation)
Mijung Kim (PhD student working on automated software testing)
Jiajun Hu (PhD student working on Android hybrid programming)
Seyed Hesamoddin Shahrokhi (PhD student working on resource leakage)
Huaxun Huang (PhD student working on API evolution)
Yongqiang Tian (PhD student working on testing of deep learning systems)
King-Sun Chan, Eric (PhD student working on AI software product lines)
Jiarong Wu (PhD student working on automated program synthesis)
Hang Xu (PhD student working on blockchain applications)
Rongxin Wu (PhD 2017) Thesis: Automated Techniques for Diagnosing Crashing Bugs
Research staff (HKUST)
Valerio Terragni (PhD 2017) Thesis: Towards Effective Regression Testing of Concurrent Programs
Research staff (University of Lugano)
Yepang Liu (PhD 2015). Thesis: Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications
Tenure-track faculty members (Southern University of Science and Technology SUST)
King Sun Chan (MPhil 2018) Thesis: Assessing Relative Code Complexity Introduced by Optional Features to a Software Product Line
Wanjun Chen, Melody (MPhil 2015) Thesis: Automatic Spreadsheet Cell Clustering and Smell Detection using Strong and Weak Features
Yueqi Li (PhD 2015). Thesis: Scalable Symbolic Analysis of Large Real World Programs Using API Abstraction and Execution Histories
Google (Mountain View, US)
Qiaona Hong (MPhil 2013). Thesis: The Anatomy of Developer Social Networks
Bank of America
Tate Poon (MPhil 2012). Thesis: A Study of Eliminating Irrelevant Access Patterns for Fault Localization in Concurrent Programs
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
Xinming Wang, Rubin (PhD 2010). Thesis: Automatic Localization of Code Omission Faults
School of Software, Sun Yat-Sen University
Zhifeng Lai (PhD 2010). Thesis: Effective Detection of Atomic-Set Serializability Violation in Multithreaded Programs
Yueqi Li (MPhil 2010). Thesis: Searching Configurations to Reproduce Software Failures
Google (Mountain View, US)
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
CMB Capital International (招银国际)
Chunyang YE, Jerry (PhD 2008). Thesis: Atomicity Analysis for Service Composition
Professor, Hainan University
Chang XU (PhD 2008). Thesis: Inconsistency Detection and Resolution for Context-Aware Pervasive Computing
Professor, Department of Computer Science, Nanjing University
Tsz Hin NG, Sam (PhD 2008). Thesis: The Effects of Pre-deploying Design Patterns on Software Changes
Mian Qin (MPhil 2008). Thesis: Wireless Sensor Network Fault Localization
Microsoft, Redmond, USA
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
Wing-Leung CHAN, Christina (MSc 2004)
Sze-Chit HO, Cedric (MPhil 2004). Thesis: A Framework for the Verification of Watermarking Protocols.
Google, Mountain View, USA
Chin-Ching TSOI, Lancelot (MSc 2004). Project: A Survey on Java Web Services Toolkits.
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)
Ka-Cheong WONG (MPhil 2000). Thesis: Digital Rights Protection Against Watermark Attacks.
Man-Yee CHAN (MPhil 1999). Thesis: Extending White Box Testing to Database Applications.
JPMorgan Chase Bank
Chi-Yung LAM (MPhil 1999). Thesis: Modeling and Analyzing Web-Based Information Systems.
Kam-Fai LEUNG (MPhil 1998). Thesis: A Framework for the Flexible Coupling of Groupware Widgets.
Head of Equities Wealth at Standard Chartered Bank
Kwok-Hung CHEUNG, Herman (MPhil 1998). Thesis: Compositional Analysis of Distributed Software Systems.
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.