删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
南京大学计算机科学与技术系导师教师师资介绍简介-赵建华(博导)
本站小编 Free考研考试/2021-02-15
赵建华教授学历简介 1．1989年9月，进入南京大学计算机系本科学习，1993年获理学学士(计算机软件)学位 2．1993年9月，进入南京大学计算机系研究生学习， 1996年获工学硕士(计算机软件与理论)学位 3．1996年3月，于南京大学计算机系攻读博士学位，师从郑国梁教授， 1999年5月获工学博士学位。 4．攻读博士期间， 1997年9月至 1998年10月在澳门联合国大学国际软件技术研究所 (UNU／IIST)学习和研究工作。 5．1999年4月进入南京大学计算机系从事教学科研工作 研究兴趣与方向： 形式化方法(主要包括模型检验(Model checking)，数据精化技术)，软件工程，程序设计语言。 已发表论文： 1．并发实时系统的自动验证，软件学报，1999年2月，赵建华，郑国梁，Dang Van Hung 2． Message Conversion and A New Type System for OO-Model， SIGPLAN Notices 32(9)：P61-67 (1997) Zhao Jianhua , Chen Jiajun，Zheng Guoliang 3．C十十的一种并发扩充方案，软件学报，第9卷第8期，1998年8月。陈家骏，赵建华，郑国梁。 4．Hybird Regular Expressions． Lin Proceedings of the First International Workshop on Hybrid Systems： Computation and Control(HSCC'98)， Springer,Berkeley， California，1998．Li Xuandong，Zheng Tao，Hou jianmin，Zhao Jianhua，Zheng Guoliang． 5．On Checking Parallel Real-time Systems for Linear Duration Properties,In Proceedings of 5th International Symposium.FTRTFT'98,Lyngby,Denmark,September 1998.LNCS 1486.Zhao Jian Hua,Dang Van Hung.
相关话题/南京大学 博导
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19南京大学计算机科学与技术系导师教师师资介绍简介-徐宝文(博导)
徐宝文，男，1961年生，博士，教授，博导；兼任软件工程国家重点实验室（武汉大学）主任、江苏省软件质量研究所所长；国家****科学基金获得者。分别获武汉大学、华中科技大学、北京航空航天大学学士、硕士、博士学位，国防科大博士后。1990年与1994年分别破格晋升副教授与教授。国家自然科学基金委员会第十 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-陈力军(博导)
一、现在职位：南京大学计算机科学与技术系、计算机软件新技术国家重点实验室（南京大学）教授、博士研究生导师、南京大学智能机器人研究所所长。二、研究方向：智能机器人。三、研究内容1、智能机器人：人-机-环境共融机器人基础理论与关键技术，包括人工智能、非结构环境下的自主导航、动态环境下的即时定位与地图构建 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-陶先平(博导)
陶先平，男，博士，1970年生，九三学社南大社委。南京大学计算机科学与技术系教授、博士生导师、南京大学计算机科学与技术系副主任。兼任中国计算机学会系统软件专业委员会秘书长、中国计算机学会教育工委副主任。主要研究方向为软件Agent技术、软件中间件技术、网构软件方法学、普适计算技术等。工作期间，主持或 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-高阳(博导)
高阳教授，目前任南京大学计算机科学与技术系副主任，南京大学医疗健康大数据国家研究院常务副院长。2009年入选江苏省“333高层次人才培养工程”第二批中青年科学技术带头人，2010年入选教育部新世纪优秀人才支持计划。1997年开始从事人工智能、机器学习、多Agent系统、大数据、图像和视频分析等方向的 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-顾庆(博导)
顾庆博士于2009年至今任职南京大学计算机科学与技术系教授，博士生导师。2001年6月获得南京大学计算机科学与技术系计算机软件与理论专业博士学位。1996年6月至南京大学计算机科学与技术系任教至今。主要研究领域包括分布计算与并行处理、软件质量与软件测试、复杂网络等。先后访问澳大利亚Swinburne ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-马晓星(博导)
马晓星，1975年8月生，1993年进入南京大学计算机科学与技术系学习，于1997年、2000年和2003年分别获得学士、硕士和博士学位。现任南京大学计算机科学与技术系教授、博士生导师，南京大学计算机软件研究所副所长。其研究领域为计算机软件技术，近年来工作重点包括网构软件、自适应软件系统、软件在线演 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-徐锋(博导)
徐锋，教授（博导），2003年进入南京大学计算机软件新技术国家重点实验室，2010年2月获聘为计算机软件与理论岗位教授。多年来一直从事面向Internet开放环境的软件系统可信保障技术方面的研究。2007-2009年主持国家自然科学基金项目“面向网构软件体系结构的可信管理模型与技术研究”；2007- ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-郭延文(博导)
郭延文，1980年生，博士，2014年12月被聘任为正教授、2013年7月被聘任为博导（南京大学博导制度改革后当年计算机系第一个副教授博导），江苏省****科学基金获得者（2015），南京大学计算机科学与技术系教师、计算机软件新技术国家重点实验室固定研究人员。2006年于浙江大学获博士学位，2013 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-叶保留(博导)
叶保留，博士、教授、博士生导师。2004年8月在南京大学获得博士学位，2005年3月至2006年7月任日本会津大学客座研究员，2009年入选南京大学青年骨干教师培养计划。目前主要研究领域包括分布式计算与系统、无线网络、云计算。近年来先后主持3项国家自然科学基金项目、1项江苏省科技计划支撑项目、1项江 ...南京大学师资导师 本站小编 Free考研考试 2021-02-15南京大学计算机科学与技术系导师教师师资介绍简介-黄宜华(博导)
黄宜华，博士，南京大学计算机科学与技术系教授，博导。PASA大数据实验室学术带头人，南京大学大数据技术研究中心主任。中国计算机学会大数据专家委员会副主任，江苏省计算机学会大数据专家委员会主任、云计算专业委员会副主任。1979年进入南京大学计算机科学与技术系本科学习，1983年毕业获得计算机学士学位， ...南京大学师资导师 本站小编 Free考研考试 2021-02-15
