Back to advisors
AC

Ana Cavalcanti

Professor of Computer Science · Computer Science

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

About

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.

Education

  • 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

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.