名师简介
个人简介
，教授，博士后。1985年加入中国共产党，1994年考取重庆大学计算机软件与理论专业攻读博士学位，1999年在中国科学院软件研究所唐稚松院士名下做博士后。先后被评为四川省优秀青年教师、重庆市首批学术技术带头人后备人选、重庆市高校高评委信息科学技术组成员。主要研究兴趣包括并发、实时与混成系统的形式化方法，软件体系结构与XYZ系统应用等。近年来，主持和参加了10余项国家级、省（部）级科研课题研究，发表学术论文60余篇。参与组织编写的著作《时序逻辑程序设计与软件工程》获第六届国家图书奖。
同校名师
网友关注
网友关注视频