Ana Cavalcanti

Current Positions:

Professor
Department of Computer Science
University of York

Wolfson Research Merit Award Holder
Royal Society

Research Interests:

Formal Verification: theorem proving, model checking, and testing
Robotics
Real-time Systems
Concurrency
Object-orientation and Java
Semantics of Languages
Tools Development

Address:

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