Biography
May Hiu Chun Woo received her B.Sc. in Computer Science in July 2004 and M.Phil. in Computer Science and Engineering in July 2006, both from the Chinese University of Hong Kong. She is currently a Ph.D. candidate in Computer Science and Engineering at the Chinese University of Hong Kong under the supervision of Prof. Jimmy Ho Man Lee.
Her research interests include constraint satisfaction and optimization. Currently, she is studying the properties of set and multiset variables. Previously, she studied the behavior of channeling constraints in Weighted Constraint Satisfaction Problems (WCSPs) and implemented the algorithms in an existing solver.
Teaching Assistants
- CSC1130 Introduction in Computer Programming (Fall 2005-2007)
- CSC1510 Computer Principles and C Programming (Fall 2008)
- CSC1520 Computer Principles and C++ Programming (Fall 2008)
- CSC2100C & CSC2100D Data Structures (Spring 2007)
- CSC2800 Numerical Computation (Spring 2008-2009)
- CSC3170 Introduction to Database Systems (Spring 2006)
- CSE Summer Preparatory Course (Summer 2007-2008)
Publications
Journal Paper
Y.C. Law, J.H.M. Lee, and M.H.C. Woo, "Redundant Modeling in Permutation Weighted Constraint Satsifaction Problems", CONSTRAINTS, Volume 15, Issue 3, pages 354-403, 2010. [pdf] [bibtex]
Conference Papers
Y.C. Law, J.H.M. Lee, T. Walsh, and M.H.C. Woo, "A Comparison of Lex Bounds for Multiset Variables in Constraint Programming", in Proceedings of the Twenty-fifth Conference on Artificial Intelligence (AAAI 2011), pages 61-67, San Francisco, California, USA, August 2011. [pdf] [bibtex]
Y.C. Law, J.H.M. Lee, and M.H.C. Woo, "Variety Reasoning for Multiset Constraint Propagation", in Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI 2009), pages 552-558, Pasadena, California, USA, July 2009. [pdf] [bibtex]
Y.C. Law, J.H.M. Lee, and M.H.C. Woo, "A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs", in Proceedings of the Twentieth Australian Joint Conference on Artificial Intelligence (AUS-AI 2007), pages 191-201, LNAI 4830, Gold Coast, Queensland, Australia, December, 2007. [pdf] [bibtex]
Y.C. Law, J.H.M. Lee, and M.H.C. Woo, "Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling", in Proceedings of the Nineteenth Australian Joint Conference on Artificial Intelligence (AUS-AI 2006), pages 59-68, LNAI 4304, Tasmania, Australia, December, 2006. [pdf] [bibtex]
Thesis
M.H.C. Woo, "Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling", Master's Thesis, Department of Computer Science and Engineering, The Chinese University of Hong Kong, 2006. [pdf]
Useful Links
- The Chinese University of Hong Kong
- Faculty of Engineering
- Department of Computer Science and Engineering, CUHK
- CUHK University Library System
- CSPLib: a problem library for constraints
- Guide to Constraint Programming
- Journal of Artificial Intelligence Research
- Constraints Journal
- Principles and Practice of Constraint Programming (Online version)
- DBLP Bibliography
- Computer and Information Science Papers CiteSeer Publications ResearchIndex
- UVa Online Judge
Contact
Room 1005, Ho Sin Hang Engineering Building,
Department of Computer Science and Engineering,
The Chinese University of Hong Kong,
Shatin, New Territories, Hong Kong
Phone: +(852) 2609 8422
Email: hcwoo [at] cse [dot] cuhk [dot] edu [dot] hk