[TYPES/announce] Oded Padon wins the ETAPS Doctoral Dissertation Award 2020

[Caterina Urban]

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: 

https://www.etaps.org/about/doctoral-dissertation-award/

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!