Short CV/Education and training

  • 1990 – 1997
    Research Scientist, Fundacao Instituto Tecnologico do Estado de Pernambuco (ITEP), Brazil

  • 1997 – 2002
    Lecturer in Computer Science, Universidade Federal de Pernambuco (UFPE), Brazil

  • 2002 – 2004
    University of Kent at Canterbury, UK

  • 2003 – 2007
    Royal Society Industry Fellow, Host industry: QinetiQ, Ltd.

  • 2004 – 2013
    Senior Lecture/Reader, University of York, UK

  • Since 2013
    Professor in Software Verification, University of York, UK

  • Since 2012
    Royal Society Wolfson Research Merit Award Holder

Selected publications

  • A. L. C. Cavalcanti and M.-C. Gaudel. Test selection for traces refinement. Theoretical Computer Science, 563(0):1 – 42, 2015.

  • F. Zeyda and A. L. C. Cavalcanti. Laws of mission-based programming. Formal Aspects of Computing, pages 1-50, 2015.

  • F. Zeyda, L. Lalkhumsanga, A. L. C. Cavalcanti, and A. Wellings. Circus Models for Safety-Critical Java Programs. The Computer Journal, 57(7):1046-1091, 2014.

  • A. L. C. Cavalcanti, S. King, C. O'Halloran, and J. C. P. Woodcock. Test-Data Generation for Control Coverage by Proof. Formal Aspects of Computing, 26(4):795-823, 2014.

  • A. L. .C Cavalcanti, A. Wellings, and J. C. P. Woodcock. The Safety-Critical Java memory model formalised. Formal Aspects of Computing, 25(1):37-57, 2013.

  • A. L. C. Cavalcanti, F. Zeyda, A. Wellings, J. C. P. Woodcock, and K. Wei. Safety-critical Java programs from Circus models. Real-Time Systems, 49(5):614-667, 2013.

  • M. V. M. Oliveira, A. L. C. Cavalcanti, and J. C. P. Woodcock. Unifying theories in ProofPower-Z. Formal Aspects of Computing, 25(1):133-158, 2013.

  • A. Miyazawa and A. L. C. Cavalcanti. Refinement-based verification of implementations of Stateflow charts. Formal Aspects of Computing, 26(2):367-405, 2013.

  • A. Miyazawa and A. L. C. Cavalcanti. Refinement-oriented models of Stateflow charts. Science of Computer Programming, 77(10-11):1151-1177, 2012.

Complete list of publications

Selected projects

  • EPSRC A Calculus for Software Engineering of Mobile and Autonomous Robots

  • Horizon 2020, INTO-CPS,

  • EPSRC High Integrity Java Applications using Circus,


  • EPSRC Programming from Control Laws

Membership in scientific bodies/juries

  • Chair of the Formal Methods Europe Association Board

Additional 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

Soft Skills/Other activities and achievements

Other activities and achievements/family


You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here


  1. Read what our members say about AcademiaNet.

Follow us

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Prof. Dr. Susanne Biundo-Stephan

    Information and Communication Technologies (ICTs), Artificial Intelligence

  2. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs), Efficient algorithms

  3. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs), Distributed systems

  4. Prof. Dr. Elisabeth André

    Information and Communication Technologies (ICTs), Human-computer interaction

Academia Net