logo
episode-header-image
May 2024
1h 2m

Strachey Lecture: The Computer in the Sk...

OXFORD UNIVERSITY
About this episode
The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications The talk will emphasize the diversity of mathematical tools necessary for understanding blockchain protocols and their applications (e.g., distributed computing, game theory, mechanism design, and continuous-time stochastic proc ... Show More
Up next
Mar 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platforms controlled by worst case computationally bounded adversaries.In this talk I will show how cryptographic paradigms and tools can ... Show More
1h 4m
Dec 2024
From probabilistic bisimulation to representation learning via metrics
Strachey Lecture: From probabilistic bisimulation to representation learning via metrics - Professor Prakash Panangaden Bisimulation is a fundamental equivalence relation in process theory invented by Robin Milner and with an elegant fixed-point definition due to David Park. In t ... Show More
55m 3s
Feb 2024
Strachey Lecture: From classical to non-classical stochastic shortest path problems
Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical stochastic shortest path (SSP) problems asks to find a policy for traversing a weighted stochastic graph until reaching a distinguished goal state that minimizes the expected accumula ... Show More
57m 9s
Recommended Episodes
Mar 2024
596 : Topical English Vocabulary Lesson With Teacher Tiffani about Technology Advancements
In today’s episode, you will learn a series of vocabulary words that are connected to a specific topic. This lesson will help you improve your ability to speak English fluently about a specific topic. It will also help you feel more confident in your English abilities.5 Vocabular ... Show More
14m 48s
May 2024
2882: From Chess Grandmaster to ML Innovator: Tal Shaked’s Journey
Are machines really capable of thinking like humans, or are we merely programming them to mimic our own patterns? Today on Tech Talks Daily, we delve into this intriguing question with Tal Shaked, an American chess grandmaster and Chief Machine Learning Fellow at Moloco, a leadin ... Show More
29m 26s
Jun 2023
AI for Mathematics Education
The application of LLMs cuts across various industries. Today, we are joined by Steven Van Vaerenbergh, who discussed the application of AI in mathematics education. He discussed how AI tools have changed the landscape of solving mathematical problems. He also shared LLMs' curren ... Show More
35m 36s
Mar 2023
AI’s Impact on Software Engineering: Killing Old Principles? (Ep. 220)
In this episode, we dive into the ways in which AI and machine learning are disrupting traditional software engineering principles. With the advent of automation and intelligent systems, developers are increasingly relying on algorithms to create efficient and effective code. How ... Show More
13m 26s
Aug 2021
Adaptivity in Machine Learning with Samory Kpotufe - #512
Today we’re joined by Samory Kpotufe, an associate professor at Columbia University and program chair of the 2021 Conference on Learning Theory (COLT).  In our conversation with Samory, we explore his research at the intersection of machine learning, statistics, and learning theo ... Show More
49m 58s
Apr 2024
Modern Education & Large Language Models (LLMs) - Luis Serrano | Podcast #113
📚 Grokking Machine Learning by Luis: https://bit.ly/3TfQKtS 🌍 Cohere LLM University: https://docs.cohere.com/docs/llmuDr. Luis Serrano’s interest in mathematics started in high school when he participated in mathematical olympiads, representing his native Colombia. Later, he co ... Show More
44m 34s
Nov 2023
Deploying Edge and Embedded AI Systems with Heather Gorr - #655
Today we’re joined by Heather Gorr, principal MATLAB product marketing manager at MathWorks. In our conversation with Heather, we discuss the deployment of AI models to hardware devices and embedded AI systems. We explore factors to consider during data preparation, model develop ... Show More
38m 36s
May 2016
Pedro Domingos on Machine Learning and the Master Algorithm
What is machine learning? How is it transforming our lives and workplaces? What might the future hold? Pedro Domingos of the University of Washington and author of The Master Algorithm talks with EconTalk host Russ Roberts about the present and future of machine learning. Domingo ... Show More
1h 5m
Mar 2022
Full-Stack AI Systems Development with Murali Akula - #563
Today we’re joined by Murali Akula, a Sr. director of Software Engineering at Qualcomm. In our conversation with Murali, we explore his role at Qualcomm, where he leads the corporate research team focused on the development and deployment of AI onto Snapdragon chips, their unique ... Show More
44m 1s