Professors Ana Cavalcanti and Jim Woodcock were cited in the Trustworthy and Autonomous Systems Thought Pieces on Resilience and Verification, respectively.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
