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. Ruth Breu

    Information and Communication Technologies (ICTs), Software engineering

  2. Dr. Sihem Amer-Yahia PhD

    Information and Communication Technologies (ICTs), Data Management Research

  3. Prof. Dr. Elisabeth André

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

  4. Dr. Maria Anisimova

    Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution

Academia Net