Phone: +44 (0)1904 432813
Fax: +44 (0)1904 432767
Office: CS202H
E-mail: Send e-mail using web form
Links
People Finder
Search...
...by name, role, phone number, location and more:
Alternatively, use the selection tool below to find the person that you are looking for:
Ana Cavalcanti BSc, MSc (Pernambuco, Brazil), DPhil (Oxford)
Senior Lecturer
Personal Page
Interests
Software engineering for safety critical systems; formal methods;
concurrency; object-orientation; tools; semantics; refinement.
Career
BSc, MSc (Pernambuco, Brazil), DPhil (Oxford)
Departmental Roles
- Seminar organiser