Welcome to another episode of the High Impact series - today we talk with Moshe Vardi! Moshe is the Karen George Distinguished Service Professor in Computational Engineering at Rice University where his research focuses on automated reasoning. Tune in to hear Moshe's story and learn about some of his most impactful work. The podcast is proudly sponsored by <a href="https://www.pometry.com/" rel="noopener noreferrer" target="_blank">Pometry</a> the developers behind <a href="https://www.raphtory.com/" rel="noopener noreferrer" target="_blank">Raphtory</a>, the open source temporal graph analytics engine for Python and Rust. You can find Moshe on X, LinkedIn, and Mastadon @vardi. Links to all his work can be found on his website <a href="https://www.cs.rice.edu/~vardi/" rel="noopener noreferrer" target="_blank">here</a>. <hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

Welcome to another episode of the High Impact series - today we talk with Moshe Vardi! Moshe is the Karen George Distinguished Service Professor in Computational Engineering at Rice University where his research focuses on automated reasoning. Tune in to hear Moshe's story and learn about some of his most impactful work. The podcast is proudly sponsored by Pometry the developers behind Raphtory, the open source temporal graph analytics engine for Python and Rust. You can find Moshe on X, LinkedIn, and Mastadon @vardi. Links to all his work can be found on his website here. Hosted on Acast. See acast.com/privacy for more information.

Welcome to another episode of the High Impact series - today we talk with Moshe Vardi! Moshe is the Karen George Distinguished Service Professor in Computational Engineering at Rice University where his research focuses on automated reasoning. Tune in to hear Moshe's story and learn about some of his most impactful work. The podcast is proudly sponsored by <a href="https://www.pometry.com/" rel="noopener noreferrer">Pometry</a> the developers behind <a href="https://www.raphtory.com/" rel="noopener noreferrer">Raphtory</a>, the open source temporal graph analytics engine for Python and Rust. You can find Moshe on X, LinkedIn, and Mastadon @vardi. Links to all his work can be found on his website <a href="https://www.cs.rice.edu/~vardi/" rel="noopener noreferrer">here</a>. Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

High Impact in Databases with... Moshe Vardi

This podcast features interviews with Computer Science researchers. Hosted by <a href="https://jackwaudby.github.io/" rel="noopener noreferrer" target="_blank">Dr. Jack Waudby</a> researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through&nbsp;<a href="https://www.buymeacoffee.com/disseminate" rel="noopener noreferrer" target="_blank">Buy Me a Coffee</a>.&nbsp;A donation of $3 will help us keep making you awesome Computer Science research podcasts.&nbsp;<hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

News

Technology

Education

Tech News

This podcast features interviews with Computer Science researchers. Hosted by Dr. Jack Waudby researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through Buy Me a Coffee. A donation of $3 will help us keep making you awesome Computer Science research podcasts.  Hosted on Acast. See acast.com/privacy for more information.

This podcast features interviews with Computer Science researchers. Hosted by <a href="https://jackwaudby.github.io/" rel="noopener noreferrer">Dr. Jack Waudby</a> researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through&nbsp;<a href="https://www.buymeacoffee.com/disseminate" rel="noopener noreferrer">Buy Me a Coffee</a>.&nbsp;A donation of $3 will help us keep making you awesome Computer Science research podcasts.&nbsp; Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

Share High Impact in Databases with... Moshe Vardi

Sign up to save your podcasts

High Impact in Databases with... Moshe Vardi

High Impact in Databases with... Moshe Vardi

More shows like Disseminate: The Computer Science Research Podcast

The Changelog: Software Development, Open Source

Software Engineering Daily

Kubernetes Podcast from Google

Hard Fork

Developer Voices

Complex Systems with Patrick McKenzie (patio11)