Hi, welcome! I am currently a Ph.D. candidate in the Department of Computer Science and Engineering of Hong Kong University of Science and Technology. My talented and patient advisor is Dr. Charles Zhang.
I am working in the area of programming language and software engineering, with a special focus on concurrency defect analysis, e.g., concurrency bug detection, prediction and verification.
I am interested in all cool things and ideas. If you have one and want to share with me, I would be very glad. Please contact me at:
Tel: (852) 2358-7024
Email: smhuang AT cse.ust.hk
Office: Room 4208 (Lifts 19-20) Directions to HKUST
"I know the joy of fishes in the river through my own joy, as I go walking along the same river."
-- Chuang Tzu
-- Chuang Tzu
"统计学习那些事儿" -- by Can Yang