Graduate Students (Research)

Useful things to know about PhD research:
Oxford University Computing Lab (preparation in pdf) ,
H.T. Kung Harvard University
M. Bellare, UCSD

Current

• CHEN Chunqing (PhD, supported by A*STAR project grant)
• FENG Yuzhang (PhD, supported by MOE project grant)
• LIU, Yang (PhD, supported by MOE project grant)
• LAM, Edmund Soon Lee, PhD (PhD, supported by MOE project grant, co-advisor)
• YUAN, Ling (PhD, supported by NUS/SoC scholarship)
• ZHANG, Xian (PhD, supported by MOE project grant)

Submitted/Completed

• SUN, Jing (PhD 2003, won Dean's Graduate Award and President's Graduate Fellowship, now Senior Lecturer at The University of Auckland, NZ)
• WANG, Hai (PhD 2004, won Dean's Graduate Award, now Research Fellow at University of Southampton, UK)
• SUN, Jun (PhD 2006, won Dean's Graduate Award, now Lee Kuan Yew Postdoctoral Fellow at SoC/NUS)
• LI, Yuanfang (PhD 2006, won Dean's Graduate Award, President's Graduate Fellowship and Singapore Millennium Foundation PhD Scholarship, now Research Fellow at The University of Queensland, AUS)
• LIANG, Hui (PhD, submitted, now Postdoc at University of Texas at Dallars, USA)
• HAO, Ping (PhD submitted)
• WANG, Xiaohang (MSc, supported by A*STAR, co-advisor)
• Huang, Xiaoning (MSc)
• TANG, Yue Linda (MSc)
• WANG, Yan (MSc)
• LIU, Jing (MSc)
• ONG, Wai Chun West Jean (MSc, co-advisor)
• TEH, Hsin Yee (MSc, co-advisor)

Research related to some student projects can be found here

Note: I am currently reaching my full capacity of supervising research students. Contact me only if you are very interested in formal methods and are exceptionally strong in discrete maths and logic.