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://ro.player.fm/legal.
Player FM - Aplicație Podcast
Treceți offline cu aplicația Player FM !

Formal languages, mathematical models and bike sharing

25:34
 
Distribuie
 

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://ro.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

53 episoade

Artwork
iconDistribuie
 
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://ro.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

53 episoade

Todos os episódios

×
 
Loading …

Bun venit la Player FM!

Player FM scanează web-ul pentru podcast-uri de înaltă calitate pentru a vă putea bucura acum. Este cea mai bună aplicație pentru podcast și funcționează pe Android, iPhone și pe web. Înscrieți-vă pentru a sincroniza abonamentele pe toate dispozitivele.

 

Ghid rapid de referință