Ana Cavalcanti             

Current Positions:

Director of the RoboStar centre on Software Engineering for Robotics
Royal Academy of Engineering Chair in Emerging Technologies
Professor, Department of Computer Science, University of York

Research Interests: I take a leading role at York as part of the RoboStar centre of excellence on Software Engineering for Robotics.

cover     

Themes of interest to me are as follows.

  • Software Engineering for Robotics
  • Formal Verification: theorem proving, model checking, and testing
  • Real-time Systems
  • Concurrency
  • 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