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
Oct 27
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ... Show More
48m 12s
May 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
May 2024
2882: From Chess Grandmaster to ML Innovator: Tal Shaked's Journey
<p>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 Officer at Moloco, a le ... Show More
29m 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 the ... Show More
49m 58s
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
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