Doctoral dissertation award

The 2020 ETAPS Doctoral Dissertation Award was won by

Oded Padon

for his 2019 Tel Aviv University dissertation

Deductive Verification of Distributed Protocols in First-Order Logic.

Dr. Padon's dissertation received the best marks among several truly excellent submissions. The committee found that his dissertation is extremely well-written and makes original, surprising, and practically useful contributions to the automated verification of distributed systems, which is a difficult and very relevant topic today. The committee was also extremely impressed by the quality and quantity of the published work associated with the dissertation as well as the practical integration of the results into tools widely used both in academia and industry.

The Award Committee consisted of

Caterina Urban (chair)
Amal Ahmed (representing ESOP)
Dirk Beyer (representing TACAS)
Andrew Pitts (representing FoSSaCS)
Perdita Stevens (representing FASE)
Marieke Huisman