标题：刘咏梅
个人简介
刘咏梅，女，汉族，1968年7月生，安徽望江人，1991年7月参加工作，1992年11月加入中国中产  梧州市副市长刘咏梅党，广西大学社会科学与管理学院经济发展与社会管理专业毕业，研究生学历，律师、助理经济师。广西梧州市委常委、宣传部长、副市长。
个人履历
1987.09——1991.07 中国政法大学政治系行政管理专业学习，获法学学士学位。 
1991.07——1992.08 广西壮族自治区政府办公厅行政管理学会干部（其间：1992.01—1992.12 挂任广西鹿寨县城关乡乡长助理）。 
1992.08——1993.05 广西壮族自治区政府办公厅行政管理学会科员。 
1993.05——1996.01 广西壮族自治区政府办公厅第六秘书处科员。 
1996.01——1998.03 广西壮族自治区政府办公厅第六秘书处副主任科员。 
1998.03——2000.09 广西壮族自治区政府办公厅第六秘书处主任科员（其间：1998.09—2000.07 广西大学社会科学与管理学院在职研究生班经济发展与社会管理专业学习）。 
2000.09——2003.11 广西壮族自治区政府办公厅第六秘书处副处长。 
2003.11——2008.05 广西壮族自治区政府办公厅第六秘书处处长（其间：2008.03—2008.05 在广西壮族自治区党委党校学习）。
2008.05——2008.09 广西壮族自治区政府办公厅人事教育处处长。 
2008.09—— 梧州市委常委、宣传部部长、副市长、市政府党组成员。
工作职责
负责文化、广播电视、民族宗教事务、教育、体育等方面工作。 
分管市文化局、广播电视局、新闻出版局（版权局）、民族事务委员会、老龄工作委员会、残疾人联合会、妇女儿童工作委员会、地方志编纂委员会办公室、人民防空委员会及其办公室、宗教事务局、市教育局、市体育局。 
分管和协调工会、共青团、妇联、工商联、社科联、文联、自治区驻梧各新闻机构等有关工作。

基本信息
刘咏梅, 中山大学信息科学与技术学院教授[1], 博士生导师
教育背景
于加拿大多伦多大学计算机科学系获博士学位。
研究兴趣
人工智能，知识表示与推理，认知机器人学，程序的调试和验证
主要论文
Y. Liu and B. Li. Automated Program Debugging via Multiple Predicate Switching. To appear in Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), 2010.
Y. Liuand G. Lakemeyer. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), 2009.
Y. Liu. A Formalization of Program Debugging in the Situation Calculus. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), 2008.
Y. Liuand G. Lakemeyer. On the expressiveness of Levesque’s normal form. Journal of Artificial Intelligence Research, 31:259-272, 2008.
M. Patterson, Y. Liu, E. Ternovska and A. Gupta. Groundingfor Model Expansion in k-Guarded Formulas with Inductive Definitions. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 161-166, 2007.
Y. Liuand H. J. Levesque. Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In Proceedings of the Nineteenth International JointConference on Artificial Intelligence (IJCAI-05), pages 522-527, 2005.
Y. Liuand H. J. Levesque. Tractable reasoning in first-order knowledge bases with disjunctive information. In Proceedings of theTwentieth National Conference on Artificial Intelligence (AAAI-05), pages 639-644, 2005.
Y. Liu, G. Lakemeyer, and H. J. Levesque. A logic of limited belief for reasoning with disjunctive information. In Proceedings of theNinth International Conference on Principles of KnowledgeRepresentation and Reasoning (KR-04), pages 587-597, 2004.
Y. Liuand H. J. Levesque. A tractability result for reasoning with incomplete first-order knowledge bases. In Proceedings of theEighteenth International Joint Conference on Artificial Intelligence(IJCAI-03), pages 83-88, 2003.
S. A. Cook and Y. Liu. A complete axiomatization for blocks world. Journal of Logic and Computation, 13(4):581-594, 2003.
Y. Liu. A Hoare-style proof system for robot programs. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02), pages 74-79, 2002.

个人简介
刘咏梅，服装·艺术设计学院副教授，硕士生导师。学科及研究方向:服装设计与工程。、
主要经历
1991年7月毕业于东华大学服装学院留校任教至今；
1991年至1992年学校派遣任职于上海鸿祥时装研究所任设计师；
1998年10月公派芬兰北中部综合大学讲学一个月；
2002年至2003年公派香港理工大学研读服装设计专业硕士学位；学位设计作品得到A级，并被香港数家媒体报道；
2002年5月主持举办立体裁剪静态作品展；
2003年7月公派日本文化服装学院学术交流；
2004年7月带队携“立体裁剪组合项目”赴巴黎参加中法文化年活动；
2004年—2006年主持举办三届全国立体裁剪服装造型设计大赛；
2003至今开始作为项目骨干，承担东华大学-日本文化服装学院的中日合作服装设计专业的教学和教学管理工作；担任中日合作教研室主任；
2006年3月携中日合作教学成果代表东华大学参加2006上海国际服装博览会，得到业界和媒体的充分肯定。
科研项目
1．上海华硕 刘璇风采形象模仿策划
2．上海蓝松树 蓝松树品牌策划设计
3．海林集团 伊喜路品牌整体设计
4．北京六合生 服装CAD智能样板的开发设计
5．上海恒源祥 基于人体测量的恒源祥男装板型研究
6．海澜集团 服装CAD打版专家系统
7．日驰尼集团 首届全国“日驰尼”杯立体裁剪服装造型设计大赛
8．学校科研启动 服装衣身结构的三维造型分析与二维纸样优化
9．211工程 211工程服装快速反应系统
10．香港科德宝?宝翎 粘合衬门幅的有效性研究
11．香港科德宝?宝翎 男裤腰里研究
12．上海交通大学 校长礼仪服的研究设计
获奖情况
2003年
本科课程：服装结构设计
上海高等学校教学质量与教学改革工程 “市级精品课程”
2004年
本科课程：服装结构设计
上海高等学校教学质量与教学改革工程 “市级精品课程”
2004年
中日合作办学服装设计专业教学模式的创立和实施 
东华大学教学改革成果二等奖
1992年 旭日杯全国服装设计优秀设计奖
1992年 浪度杯全国服装设计三等奖
2000年 东华大学青年教师讲课竞赛三等奖
2004年 东华大学青年教师讲课竞赛二等奖[1]