Share

cover art for Formal languages, mathematical models and bike sharing

The Gem of all Mechanisms

Formal languages, mathematical models and bike sharing

Season 5, Ep. 2

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?

More episodes

View all episodes

  • 5. Digital Pioneers: Recoding our Future

    39:16
    What is the mindset IT professionals require to really harness the potential of computing for social good? Our panel discusses ambition, boldness, capability, determination and entrepreneurism. Rashik Parmar MBE, Group CEO of BCS, Charlene Hunter MBE, CEO & Founder of Coding Black Females, Professor Andy Stanford-Clark, Distinguished Engineer, IBM UK, and Dr Kitty Hung, BCS Fellow and author talked about this with Brian Runciman MBCS at the launch of a new series of films from BCS and Content with Purpose.
  • 4. The Needham Debate: Optimisation algorithms

    54:30
    In January 2024, Professor Ruth Misener was presented with the Needham Award for her exceptional contribution to identifying and solving fundamental computer science research challenges at the intersection of computational optimisation and machine learning. A special panel discussed the complexities of optimisation as a research discipline and how algorithms can help businesses make good decisions in the face of uncertainty and complexity. Ruth was joined by Michael Huth, Professor of Computer Science Head of Department of Computing, Imperial College London; Timo Berthold, Director at FICO and Lecturer at TU Berlin; Claire Adjiman, Professor of Chemical Engineering at the Department of Chemical Engineering, Imperial College London and Director of the Sargent Centre for Process Systems Engineering at Imperial and UCL; and Darren Budd, Commercial Director UK and Ireland, BASF.
  • 3. From 'Millionaire' to cybersecurity

    26:08
    Lisa Ventura MBE has been on a fascinating journey from mainstream TV to a cybersecurity career. Alongside this she has had a developing diagnostic journey. She talks to Brian Runciman MBCS about neurodiversity, her autism diagnosis and more. As she says... 'we are all generation cyber.'
  • 1. Wikipedia: pretty good in parts

    33:30
    Jimmy Wales, Wikipedia founder, speaks to Brian Runciman about the site's progress over the last 22 years; fakes news; reliable sources; the Wikipedia community and funding model; and being a pathological optimist. With bonus content on stochastic differential equations… 
  • 12. How the Light Gets In

    32:32
    If you like combining live music with discussions about science and technology, there’s now several summer festivals that tick that box. At the Dot Festival at the Jodrell Bank Observatory, and at WOMAD festival, you can hear expert talks and bands. Claire Penketh went to another festival - How the Light Gets In - to find out more, in this special edition of the Gem. 
  • 11. Playing Doom on a Coke Machine

    21:55
    Felix Ryan speaks to Brian Runciman about a specialist area of IT - pen testing in the context of embedded systems. He talks careers, inspirations and why he launched a podcast on such a niche area.
  • 10. Lost tribe, backbone then centre-stage

    35:03
    Professor Wendy Dearing discusses her passion for digital health and her career path from Nurse to Dean. She also tells Brian Runciman about enabling nursing careers through NVQs, the development of Digital Health and Care Wales, the problems with social care and the benefits of the NHS app.
  • 9. Citizen-centred tech

    32:48
    Professor Tom Crick speaks to Brian Runciman about Wales’ science and technology reform and what our aspiration should be for digital skills and achieving a digitally competent population. In the context of Palantir and other large organisations interest in health data, how can and should we protect health records? What role should ethics take in curriculums?