Oded Padon wins the ETAPS Doctoral Dissertation Award 2020

by Caterina Urban, July 4, 2020

The ETAPS Doctoral Dissertation Award 2020 has been won by Dr. Oded Padon (Tel Aviv University), for his dissertation on "Deductive Verification of Distributed Protocols in First-Order Logic".

The European Joint Conferences on Theory and Practice of Software Association is pleased to announce the outcome of the ETAPS Doctoral Dissertation Award 2020. The purpose of the award is to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). The award is given to the PhD student who has made the most original and influential contribution to the research areas in the scope of the ETAPS conferences, and has graduated in 2019 at a European academic institution.

The winner of the first edition of the ETAPS Doctoral Dissertation award is

Dr. Oded Padon (Tel Aviv University)

for his dissertation on 

Deductive Verification of Distributed Protocols in First-Order Logic

supervised by Prof. Mooly Sagiv. 

The winner was selected by a committee of international experts. More information is available at: 


Candidate dissertations were evaluated with respect to originality, relevance, and impact to the field, as well as the quality of writing.

Dr. Oded 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.

We offer Dr. Oded Padon our congratulations and best wishes for his scientific career!