Ana Cavalcanti BSc, MSc (Pernambuco, Brazil), DPhil (Oxford)
Professor of Computer Science

Interests

Software engineering for safety critical systems; formal methods; real-time; concurrency; object-orientation; tools; semantics; refinement.

Qualifications

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

Career

• Royal Society Wolfson Research Merit Award Holder
• Research Scientist, 1990 – 1997, Fundacao Instituto Tecnologico do Estado de Pernambuco (ITEP), Brazil
• Lecturer in Computer Science, 1997 – April 2002, Universidade Federal de Pernambuco (UFPE), Brazil
• Lecturer in Computer Science, May 2002 – September 2004, University of Kent at Canterbury
• Royal Society Industry Fellow, October 2003 – September 2007

Departmental and University Roles

• Member of Departmental Research Committee
• HoRG HISE (Joint)