返回导师列表
AC

Ana Cavalcanti

Professor of Computer Science · Computer Science

University of York · United Kingdom
software engineeringsafety critical systemsformal methodsreal-timeconcurrencyobject-orientationtoolssemantics

简介

Ana Cavalcanti is a Professor of Computer Science at the University of York. Her research interests include software engineering for safety critical systems, formal methods, real-time, concurrency, object-orientation, tools, semantics, and refinement. She holds a Royal Society Wolfson Research Merit Award and leads the Software Engineering Research group.

教育经历

  • BSc in Computer Science, Universidade Federal de Pernambuco, Brazil, 1987
  • MSc in Computer Science, Universidade Federal de Pernambuco, Brazil, 1990
  • DPhil in Computer Science, Oxford University, 1997

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。