Skip to content
  • The Prize
    • About the Prize
    • Winners
    • Who We Are
    • Selection Committees
    • Prize 2001–2021
  • Nominate
    • Nomination Guidelines
    • FAQ
    • Submit Nomination
  • News
  • Events
    • Upcoming Events
    • Past Events
  • Programs
    • All Programs
    • Fellows Program
    • Name Your Hero
  • YouTube
  • The Prize
    • About the Prize
    • Winners
    • Who We Are
    • Selection Committees
    • Prize 2001–2021
  • Nominate
    • Nomination Guidelines
    • FAQ
    • Submit Nomination
  • News
  • Events
    • Past Events
    • Upcoming Events
  • Programs
    • All Programs
    • Fellows Program
    • Name Your Hero
    • Submit Nomination
  • Search
  • My account
    • My Profile
    • My Nominations
  • Log In
    • YouTube
    • Home
    • Scholars

    Scholars

    Ori Lahav

    Ori Lahav

    Tel Aviv University, The Blavatnik School of Computer Science

    “Automated Reasoning in Software Development: Theory and Applications”

    Stay up to date with the latest news on the Dan David Prize. Register for our newsletter here.

    This field is for validation purposes and should be left unchanged.
    • Contact
    • Terms of Use
    • Privacy Policy
    • Cookie Policy
    • Image Credits
    • FAQs
    • YouTube

    Dan David Prize, Eitan Berglas Building, Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel

    +972-3-6406614

    [email protected]

    2021—2023 © The Dan David Prize