Best Theory Hardware Podcasts (2024)

1
Quantum computing for high energy physics simulations with Martin Savage 36:22

1d ago36:22

36:22

Dr. Martin Savage is a professor of nuclear theory and quantum informatics at the University of Washington. His research explores using quantum computing to investigate high energy physics and quantum chromodynamics. Dr. Savage transitioned from experimental nuclear physics to theoretical particle physics in his early career. Around 2017-2018, limi…

1
Modular Quantum System Architectures with Yufei Ding 36:06

14d ago36:06

36:06

In this episode, Sebastian and Kevin interview Professor Yufei Ding, an associate professor at UC San Diego, who specializes in the intersection of theoretical physics and computer science. They discuss Dr. Ding's research on system architecture in quantum computing and the potential impact of AI on the field. Dr. Ding's work aims to replicate the …

1
Material Science with Houlong Zhuang at Q2B Paris 33:38

28d ago33:38

33:38

In this special solo episode recorded at Q2B Paris 2024, Sebastian talks with Houlong Zhuang, assistant professor at Arizona State University, about his work in material science. Dr. Zhuang discusses his research on using quantum computing and machine learning to simulate high entropy alloy materials. The goal is to efficiently predict material pro…

1
A look back at quantum computing in 2023 with Kevin and Sebastian 35:01

1M ago35:01

35:01

No guest this episode! Instead, Kevin and Sebastian have a conversation looking back on the events of 2023 in quantum computing, wiht a particular focus on three trends: some waning of enthusiasm in the private sector, a surge of investments from the public sector as national and regional governments invest in the quantum computing value chain and …

1
Dawning of the Era of Logical Qubits with Dr Vladan Vuletic 44:27

2M ago44:27

44:27

Kevin and Sebastian are joined by Dr. Vladan Vuletic, the Lester Wolfe Professor of Physics at the Center for Ultracold Atoms and Research in the Department of Physics at the Massachusetts Institute of Technology At the end of 2023, the quantum computing community was startled and amazed by the results from a bombshell paper published in Nature on …

1
Trapped Ions and Quantum VCs with Chiara Decaroli 54:02

4M ago54:02

54:02

Summary In this episode, Sebastian and Kevin are joined by Chiara Decaroli, a quantum physicist and venture capitalist. Chiara shares her unique journey into the field of quantum, starting from a small village in Italy to earning her PhD in quantum physics. She explains the history of ion trapping and how it led to the development of quantum comput…

1
Adiabatic and Counterdiabatic Quantum Computing with Dr. Ieva Čepaitė 41:04

5M ago41:04

41:04

In this episode of The New Quantum Era, Kevin Rowney and Sebastian Hassinger are joined by Dr. Ieva Čepaitė to delve into the nuanced world of quantum physics and computation. Dr. Čepaitė discusses her journey into quantum computing and her work on counterdiabatic methods used to optimize the control of many body quantum states. She provides an ove…

1
Quantum Intermediate Representation with Cassandra Granade 55:44

5M ago55:44

55:44

In this interview, independent quantum information science researcher and consultant, Dr. Cassandra Grenade, shares their journey from triple majoring in physics, math, and computer science to their current consulting work with their firm, Dual Space Solutions. She discusses the concept behind the Quantum Intermediate Representation project (QIR), …

1
Quantum Error Mitigation using Mitiq with Misty Wahl 47:01

6M ago47:01

47:01

Misty Wahl of the Unitary Fund joins us for this episode to talk about quantum error mitigation strategies like zero noise extrapolation (ZNE) and probabilistic error reduction using the Mitiq open source framework. Misty is a lead contributor the the Mitiq project as well as an author on a number of recent papers on the topic. We'll discuss the cu…

1
Neutral atom arrays with Alex Keesling of QuEra Computing 54:11

6M ago54:11

54:11

In this episode, Kevin and Sebastian are joined by Alex Keesling, CEO of QuEra Computing, for a discussion about his work with neutral atom arrays for simulation and computation. Alex describes his very early introduction to quantum information science as a high school student in Mexico, which kicked off a defining fascination with the field. At MI…

1
The Enchilada: Microfabricated Ion Trap Qubits with Daniel Stick 55:11

7M ago55:11

55:11

In this episode of The New Quantum Era, hosts Sebastian Hassinger and Kevin Rowney interview Daniel Stick, a researcher at Sandia National Lab. They discuss the fascinating world of ion traps, a novel approach to quantum computing architecture. Stick explains the concept of suspending atoms inside a radio frequency Paul trap and utilizing laser pul…

1
Operating at the Quantum Limit with Dr. Dana Anderson 53:46

7M ago53:46

53:46

Title: Operating at the Quantum Limit with Dr. Dana Anderson “In 25 to 30 years, quantum is going to be in the kitchen, sitting next to the toaster.” — Dr. Dana Anderson Description: Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by Dr. Dana Anderson to talk about qua…

1
Black hole physics and new states of quantum matter with John Preskill 1:02:27

8M ago1:02:27

1:02:27

If anyone needs no introduction on a podcast about quantum computing, it's John Preskill. His paper "Quantum Computing in the NISQ era and beyond," published in 2018, is the source of the acronym "NISQ," for Noisy, Intermediate Scale Quantum" computers -- basically everything we are going to build until we get to effective error correction. It's be…

1
A Hybrid NISQ-Classical Solution Architecture with Harry Buhrman 58:38

8M ago58:38

58:38

Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by another distinguished researcher, Dr. Harry Buhrman. Dr. Buhrman is a professor at the University of Amsterdam, he's a director at the CWI, and he's the director at Qusoft as well. He's got a long and illustrious caree…

1
The Mysterious Majorana with Leo Kouwenhoven 1:01:44

9M ago1:01:44

1:01:44

Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by an outstanding European researcher: Professor Leo Kouwenhoven. Leo is a professor in Applied Physics specialized in the field of Quantum NanoScience at TU Delft. Leo got his Ph.D. in Mesoscopic Physics at Delft. He was…

1
Quantum Supremacy to Generative AI and Back with Scott Aaronson 1:18:05

11M ago1:18:05

1:18:05

Description: Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by Scott Aaronson, who is a leading authority in the space of Quantum Computing, a fascinating person with a long list of relevant achievements. Scott is also the author of an outstanding blog called Shtetl-O…

1
The Fault-Tolerance Threshold with Dorit Aharonov 1:06:13

12M ago1:06:13

1:06:13

Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. In this episode, we are joined by Dorit Aharonov, a professor at the Hebrew University of Jerusalem and one of the pioneers of quantum computing. She's also the Chief Science Officer at QEDMA, a quantum startup based in Israel. Dorit is one of …

1
Probability First: Understanding Quantum Computing with James Whitfield 1:08:01

1y ago1:08:01

1:08:01

Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by James Whitfield, who's a professor at Dartmouth College and is a colleague of Sebastian’s at Amazon Web Services’ quantum team. James has a quantum chemistry background, and, as a result, he brings that sensibility to …

1
It is Known with Joe Fitzsimons, part 2 of 2 51:44

1y ago51:44

51:44

We continue our stimulating conversation with Joe Fitzsimons, CEO and founder of Horizon Quantum Computing. After last episode's exploration of Joe's reasoned case for an optimistic future for quantum computing, we dig into Horizon's development of compiling tools that Joe hopes will unlock broad performance advantages from future quantum devices. …

1
An optimistic view of quantum computing's future with Joe Fitzsimons part 1 of 2 54:06

1y ago54:06

54:06

Kevin and Sebastian are joined by Joe Fitzsimons, founder and CEO of Horizon Quantum Computing, a startup based in Singapore. Joe recently posted a thread on Twitter responding to some of the reactions to a recent Time cover story about quantum computing. We were really struck by his level-headed optimism and so we wanted to dig in deeper. This is …

1
It from Qubit with Grant Salton 1:08:01

1+ y ago1:08:01

1:08:01

Kevin and Sebastian are joined by Grant Salton, a quantum researcher at AWS, who helps us understand a recent paper from Google and Caltech whose authors describe a simulation of a wormhole on Google's Sycamore quantum computer. The paper stirred some controversy and push back on the misunderstanding of the claims being made, and Grant walks us thr…

1
Better Qubits Through Material Science with Nathalie DeLeon 59:30

1+ y ago59:30

59:30

Key Takeaways: [3:38] Nathalie shares how she found her way into the field of quantum technology. [6:25] Nathalie talks about the key moment in the landscape towards being a believer in Quantum Technology. [8:29] Nathalie talks about certain things that made her change her mind. [12:20] Nathalie speaks about her particular entry into the science fi…

1
The History of Superconducting Qubits with Steve Girvin 58:49

1+ y ago58:49

58:49

Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by Steve Girvin, professor of Physics at Yale who has a central role in the Yale Quantum Institute, which has been ground zero for the recent development in superconducting qubits. The topics we had initially planned need…

1
Quantum Error Correction with James Wootton 48:35

1+ y ago48:35

48:35

Key Takeaways: [3:23] James introduces himself. [4:20] James talks about his engagement in game development using the public IBM Cloud quantum systems. [5:40] James explains why he said he expected the field of quantum computing to be more accessible by starting with hobbyists. [7:02] James talks about the theory behind quantum computing. [8:23] Ja…

1
Molecular and Subatomic Physics with David Mazziotti 1:08:01

1+ y ago1:08:01

1:08:01

Title: Molecular and Subatomic Physics with David Mazziotti Description: Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by David Mazziotti, a physicist, and research team leader at the University of Chicago. He generously showed up with some deeply fascinating materia…

1
Quantum advantage and all the information in the world with Cesar Rodriguez Rosario 1:01:24

1+ y ago1:01:24

1:01:24

Welcome to another episode of The New Quantum Era Podcast hosted by Kevin Rowney and Sebastian Hassinger. Today, they are joined by Cesar A. Rodriguez Rosario, Chief Scientific Officer at Strangeworks, who is discussing the parallels between quantum computing and the development of the classical computing world at the stage of vacuum tubes and the …

1
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory 37:50

1+ y ago37:50

37:50

In this episode, we're joined by Eric Daimler, CEO & co-founder of Conexus AI, Inc, an MIT spin out. We discuss the Conexus software platform, which is built on top of breakthroughs in the mathematics of Category Theory, and how it guarantees the integrity of universal data models. Eric shares real-world examples of applying this approach to variou…

1
Quantum Computing: Foundational Concepts with Nick Bronn 1:04:04

1+ y ago1:04:04

1:04:04

Key Takeaways: [8:25] Nick Bronn does a quick introduction about himself. [9:23] At what point in Nick’s academic career did he find he was attracted to quantum computing rather than the condensed matter physical started to get drawn into the field? [13:27] When Nick joined IBM, did they have a functioning superconducting qubit? Was there a transmo…

1
Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types 48:45

2y ago48:45

48:45

Today we're joined by Nikhil Swamy, Senior Principal Researcher in the RiSE group at Microsoft Research. We are very excited to hear about what he's been working on. In particular, we're going discuss a language that he's co-created and continually develops called F* (pronounced F star). F* is a dependently typed language that you can both program …

1
Episode #20: Ankush Desai — P: The Modeling Language That Could 46:12

2y ago46:12

46:12

Joey and Shpat talk with Ankush Desai, a Senior Applied Scientist at AWS and one of the primary developers behind the P language. They dig into uses for P, bug finding, and what it takes for formal methods researchers to build useful tools for applied engineers. Watch all our episodes on the Building Better Systems youtube channel. Ankush Desai: ht…

1
#19: Steve Weis — Security Shouldn't Be the Last Check Box 41:36

2y ago41:36

41:36

In this episode, we talk with Steve Weis, a Senior Staff Security Engineer at Databricks with extensive knowledge of security, cryptography, and software engineering. Steve shares his experience working for large companies like Google and Facebook and how their security needs differ from start-ups and companies trying to scale. He talks about why h…

1
#18: Jordan Kyriakidis — Helping People Write More Useful Requirements 47:19

2y ago47:19

47:19

In episode #18, we chat with Jordan Kyriakidis, co-founder and CEO of QRA Corp. QRA is developing QVScribe, a product that helps engineers write requirements and analyze those requirements to gauge whether they are framed well and capture the writer's intent. We discuss the impact of writing good, early-stage design requirements, how they impact yo…

1
#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2) 28:38

2y ago28:38

28:38

In this two-part episode, we speak with Iain Whiteside about the challenges and some of the more novel solutions to make autonomous vehicles safer and easier to program. In part 1, we discuss how Ian and his team formalize and check the different actions and situations that a car finds itself in while on the road. In part 2, we discuss how you migh…

1
#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1) 56:25

2y ago56:25

56:25

In this two-part episode, we speak with Iain Whiteside about the challenges and some of the more novel solutions to make autonomous vehicles safer and easier to program. In part 1, we discuss how Ian and his team formalize and check the different actions and situations that a car finds itself in while on the road. In part 2, we discuss how you migh…

1
#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA 55:52

2+ y ago55:52

55:52

In this episode, we chat with Dr. Kathleen Fisher, who was chair of the Computer Science department at Tufts University at the time of the interview. We talk about Kathleen’s experience in applying formal methods and PL theory to solve significant practical problems throughout her career. Equally important, we discuss how it came to be that she is …

1
#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean 45:35

2+ y ago45:35

45:35

In this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert. Watch all our episodes on the Building Better Systems youtube chann…

1
#13: Rod Chapman – It's Either Automated or It's Wrong 44:03

2+ y ago44:03

44:03

Rod Chapman explains his recent verification of TweetNACL using SPARK/ADA. We discuss how every aspect of his proofs are automated, how the correctness proofs actually enabled better performance after compilation, and higher confidence in some otherwise risky-seeming optimizations. Watch all our episodes on the Building Better Systems youtube chann…

1
#12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa 30:58

2+ y ago30:58

30:58

We chat with Alex Malozemoff and Marc Rosen about a recently published paper on a novel system for censorship circumvention, and it's corresponding implementation. The paper authors also include James Parker. Watch all our episodes on the Building Better Systems youtube channel. Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://…

1
#11: Alastair Reid – Meeting Developers Where They Are 36:18

2+ y ago36:18

36:18

Alastair Reid describes Google's efforts to bring formal methods to developers so that they can be useful today. We cover a recent publication describing their approach, Alastair's project to document all of the papers he read for a year, and a prototype tool that they've been building to demonstrate formal verification tools in rust. Watch all our…

1
#10: Gregory Malecha – Formal Methods and Systems Programmers Working Together 43:41

3y ago43:41

43:41

Gregory Malecha talks with Joey and Shpat about Bedrock, a startup bringing systems engineers together with formal methods engineers to build some of the most secure and correct systems in the world. Watch all our episodes on the Building Better Systems youtube channel. Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.co…

1
#9: Tycho Andersen – Commit Log Spelunking 42:34

3y ago42:34

42:34

Tycho Andersen shares lessons that Linux kernel developers have learned from decades of open-source interactions. We discuss how the open-source community works together to make the Linux kernel better for everyone, and also what it's like to work debugging the kernel. Watch all our episodes on the Building Better Systems Youtube channel. Joey Dodd…

1
#8: Eric Davis – Building Better Data Models 34:28

3y ago34:28

34:28

Dr. Eric Davis walks us through what it means for a data model to be trustworthy, what common pitfalls predictive models run into, reproducibility issues, and what can be done. We chat about how subject area experts are expected to be many things: statisticians, computer scientists, and mathematicians, and how that can sometimes lead to mistakes. W…

1
#7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work 1:13:38

3y ago1:13:38

1:13:38

Dr. Aditya Thakur, a computer science professor at U.C. Davis, walks us through his work on developing analysis tools that he wished he had while working in industry at places like Google. Aside from program analysis, we talk about making a research group successful by exposing them to industry. Towards the end, he shares his work on techniques and…

1
#6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire? 1:01:05

3y ago1:01:05

1:01:05

Dan Guido, CEO of Trail of Bits, walks us through how they work with customers to make long-term improvements in security and software quality. He also describes what blockchain has done right, and how the rest of the software world should learn from them. You can watch this episode on our Youtube Channel. https://youtube.com/c/BuildingBetterSystem…

1
#5: Talia Ringer – Proof Engineering for the People 30:17

3+ y ago30:17

30:17

Talia Ringer, a Ph.D. candidate at University of Washington, explains how they do deep people-centric PL research. We discuss proof repair, UX for software correctness, and how to ask users of tools for feedback to react to. You can watch this episode on our Youtube Channel. Joey Dodds: https://galois.com/team/joey-dodds/ Talia Ringer: https://depe…

1
#4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean? 17:04

3+ y ago17:04

17:04

Principal Researcher, Alex Malozemoff, walks us through what homomorphic encryption is, what CKKS is, and how a recent new attack on CKKS will impact progress on homomorphic encryption. You can watch this episode on our Youtube channel. Galois, Inc. Joey Dodds Shpat Morina Alex Malozemoff On the Security of Homomorphic Encryption on Approximate Num…

1
#3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis 1:00:50

3+ y ago1:00:50

1:00:50

The founders of MuseDev discuss making modern static analysis usable and leveraging the latest promising research for automatic bug finding. MuseDev is a spin-off of Galois. Video of this podcast can be found on our Youtube channel: Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/te…

1
#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2 35:28

3+ y ago35:28

35:28

Video of this podcast can be found on our Youtube channel Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/ Akita Software: https://www.akitasoftware.com/ Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Contact us: marketing@galois.com…

1
#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1 29:39

3+ y ago29:39

29:39

Video of this podcast can be found on our Youtube channel. Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/ Akita Software: https://www.akitasoftware.com/ Galois, Inc.: https://galois.com/ Joey Dodds: https://galois.com/team/joey-dodds/ Shpat Morina: https://galois.com/team/shpat-morina/ Contact us: marketing@galois.com…

1
Scale Your Online Business With Funnels & Webinars With Amanda Goldman-Petri 58:47

4+ y ago58:47

58:47

Interview Questions What’s your story How to become an authority/expert in 3 simple steps? What’s the best working business models for online coaches? The steps to build an online coaching business? Top 3 types of sales funnels for online coaches? The steps to launch an online coaching business? What emails do you send to new subscribers? What’s wo…

Podcasts Worth a Listen

Theory Hardware Podcasts

Podcasts Worth a Listen

Quick Reference Guide