个人简介
罗贵明,博士,清华大学软件学院教授,博士导师。
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月–现在,在软件学院工作
讲授课程
软件理论基础
自动机与形式逻辑
数据流系统建模与仿真
数据科学导论
研究兴趣
数据分析与建模,人工智能,软件建模与验证