Professor Jane Hillston, one of the winners of the Lovelace Award for 2023, discusses her work in formal languages. She talks to Brian Runciman MBCS about resource use in systems and performance modelling - measuring how much resource is used and when, from a mathematical viewpoint. It has applications in biology and transport systems in smart cities such as bike-sharing. She is also involved in smart techniques, using ambient sensors and associated data to give people later-life benefits. Also discussed: tracking and husbanding data in AI models, double stochasticity in quantum, and is computer science post-colonial?