周以真
人物经历
1979年6月在麻省理工学院获得学士和硕士学位,导师中有图灵奖得主Ronald Rivest。1983年获得该校的博士学位。1983—1985年,在南加州大学任助理教授。1985年起,任教于卡内基-梅隆大学。2004—2007年间,曾担任该校计算机系主任。2017年,任哥伦比亚大学数据科学研究院主任及计算机科学教授。2021年9月1日,总管哥伦比亚大学纽约主校区和全球各附属机构的科研事务。
主要著作
出版时间书名作者出版地1999Proceedings of FM'99: First World Congress on Formal Methods in the Development of Computing SystemsJ. M. Wing;J. C. P. Woodcock;J. DaviesToulouse, France1993Proceedings of the First International Workshop on LarchU. Martinand;J. M. Wing;Springer-Verlag1993Larch: Languages and Tools for Formal SpecificationJ. V. Guttagand, J. J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wing,Springer-Verlag
研究领域
周以真的主要研究领域是形式方法、可信计算、分布式系统、编程语言等。1993年她与图灵奖得主芭芭拉·利斯科夫合作,提出了著名的Liskov代换原则,是面向对象基本原则之一。
评论