删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

华东师范大学信息科学技术学院周巢尘老师介绍

研究生院 免费考研网/2006-09-28

 

周巢尘
中国科学院院士
信息科学技术学院名誉院长
中国科学院软件研究所

 




  周巢尘院士1958年毕业于北京大学数学系,1967年研究生毕业并就职于中科院计算所。1988年被授予国家级有突出贡献的中青年专家称号,于1993年当选为中国科学院院士,2000年当选第三世界科学院院士,1997年8月-2002年9月,担任联合国大学国际软件技术研究所所长。现任中国科学院软件研究所研究员、华东师范大学信息科学技术学院和软件学院教授、名誉院长。

   周巢尘院士长期从事计算机科学理论的研究,在软件形式化理论方面做出了创造性的工作,取得了具有国际先进水平的研究成果,是我国分布式程序设计理论研究的先驱者之一,学术造诣深厚,有多项创造性的成果。由于在分布式程序设计理论研究方面的卓越成果,获1987年国家自然科学二等奖。近年来他在时段演算(Duration Calculus)方面的研究成果,开创了实时系统形式化领域中国际公认的新途径。

 
相关话题/