• Sign in
  • Sign up
conf.researchr.org / Moshe Vardi
  • ECBS 2023 profile
  • ECOOP and ISSTA 2021 profile
  • ICSE 2021 profile
  • POPL 2020 profile
  • POPL 2024 profile
No Photo

Registered user since Sun 24 Jul 2016

Name:Moshe Vardi

Contributions

2024

VMCAI

  • Author of Model-Guided Synthesis for LTL over Finite Traces within the VMCAI 2024-track

2023

ECBS

  • Speaker of How to be an ethical technologist - Oct 16th within the ECBS 2023-track

2021

SPIN

  • Author of The Rise and Fall of Linear Temporal Logic within the SPIN-track

FormaliSE

  • Keynote Speaker of Program Verification: a 70-Year History within the FormaliSE 2021-track

2020

VMCAI

  • Invited Speaker in Invited Speakers within the VMCAI 2020-track
  • Keynote Speaker of The Siren Song of Temporal Synthesis within the VMCAI 2020-track
Share
xTue 20 May 18:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up