软件学院

罗贵明,软件学院 教授

联系信息

姓名:罗贵明 办公电话:10-62795440 邮箱:gluo@tsinghua.edu.cn 地点:清华大学东主楼11-312 教师主页: http://www.thss.tsinghua.edu.cn/publish/soft/3641/2010/20101214112754687716095/20101214112754687716095_.html

个人简介

罗贵明,博士,清华大学软件学院教授,博士导师。
1992年获得中国科学院系统科学研究所博士学位。随后,在清华大学从事教学和研究工作。 现在是清华大学软件学院的教授。 2000年9月至2001年9月,在韩国首尔国立大学担任客座教授。 2001年10月至2003年3月,在日本东京大学担任JSPS研究员。 2008年1月至2008年10月,在日本京都大学担任JSPS研究员。发表的论文超过180篇。研究兴趣包括系统建模,数据建模,人工智能,软件建模,软件的形式化方法,软件验证等。

教育背景

1992年获得中国科学院系统科学研究所博士学位    

工作经历

1992年8月–2000年8月,在清华大学数学科学系工作
2000年9月–2001年8月,Seoul National University访问教授
2001年9月–2003年4月,University of Tokyo JSPS Fellow
2003年8月–现在,在软件学院工作    

讲授课程

软件理论基础
自动机与形式逻辑
数据流系统建模与仿真
数据科学导论    

研究兴趣

数据分析与建模,人工智能,软件建模与验证