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

Photo

Phone: +44 (0)1904 432813

Fax: +44 (0)1904 432767

Office: CS202H

E-mail: Send e-mail using web form

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
Back to Top