Artwork

Content provided by Brian Runciman, BCS, and The Chartered Institute for IT. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Brian Runciman, BCS, and The Chartered Institute for IT or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

Formal languages, mathematical models and bike sharing

25:34
 
Share
 

Manage episode 386154019 series 2782862
Content provided by Brian Runciman, BCS, and The Chartered Institute for IT. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Brian Runciman, BCS, and The Chartered Institute for IT or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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?

Hosted on Acast. See acast.com/privacy for more information.

  continue reading

51 episodes

Artwork
iconShare
 
Manage episode 386154019 series 2782862
Content provided by Brian Runciman, BCS, and The Chartered Institute for IT. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Brian Runciman, BCS, and The Chartered Institute for IT or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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?

Hosted on Acast. See acast.com/privacy for more information.

  continue reading

51 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Quick Reference Guide