We are witnessing accelerating technological advances in autonomous systems, of which driverless cars and home-assistive robots are prominent examples. We increasingly depend on decisions made by mobile autonomous robots and we interact with them socially. But how do we know when to trust a robot? And how much should the robots trust us? Kwiatowska develops automated verification techniques that ensure that computerised systems behave as expected, with applications in DNA computing, and in wearable and implantable medical devices.