[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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!
