High Impact in Databases with... Moshe Vardi

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.