Ana Cavalcanti                                                   

Current Positions:

Professor, Department of Computer Science, University of York
Royal Academy of Engineering Chair in Emerging Technologies

Research Interests:

Software Engineering
Formal Verification: theorem proving, model checking, and testing
Real-time Systems
Tools Development


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

E-Mail: <first name> dot <lastname> at york dot ac dot uk

Telephone:+44 (0)1904 325478