Academic and Teaching Staff

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

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

https://pure.york.ac.uk/portal/en/researchers/ana-lucia-caneca-cavalcanti(8742b88e-cfac-4455-92ce-9df4cf34a0e9).html

Departmental and University Roles

  • Member of Departmental Research Committee

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

Phone: +44 (0)1904 325478

Fax: +44 (0)1904 325599

Office: CSE/009

E-mail:
Personal Homepage: http://www-users.cs.york.ac.uk/~alcc/

Research Group: