Award given to outstanding doctoral dissertations whose results have been published at ETAPS.
The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS).
Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the degree of reproducibility (where this applies). The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet.
Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from 1 January 2022 to 31 December 2022.
Nominations should be submitted by 16 January 2023 via EasyChair.
Award candidates should be nominated by their supervisor. Members of the Award Committee are not allowed to nominate their own PhD students for the award.
Nominations consist of a single PDF file (extension .pdf) containing:
All documents must be written in English. Nominations are welcome regardless of whether results that are part of the dissertation have been published at ETAPS.
Nominations should be submitted via EasyChair.
The deadline for nominations is 16 January 2023.
All questions about submissions should be emailed to the chair of the award committee, Caterina Urban.
The committee was very impressed by the results in Dr. Sebastian Wolff’s dissertation, which makes a landmark breakthrough in the verification of concurrent data structures. The committee also really appreciated that his dissertation both contains fresh theoretical insights and goes all the way to a tool that can verify practical data structures as well as to extensive and reproducible results.
Caterina Urban (chair), Nobuko Yoshida (representing ESOP), Mariëlle Stoelinga (representing FASE), Andrew Pitts (representing FoSSaCS), Holger Hermanns (representing TACAS), Marieke Huisman, Ralf Jung
The committee found that Dr. Ralf Jung’s dissertation is very well-written and makes several highly original contributions in the area of programming language semantics and verification. The committee was also particularly impressed by the dissertation for its technical depth, the quality and quantity of the associated published work, as well as its relevance and impact both in academia and industry.
Caterina Urban (chair), Luís Caires (representing ESOP), Andrzej Wasowski (representing FASE), Andrew Pitts (representing FoSSaCS), Dirk Beyer (representing TACAS), Marieke Huisman, Oded Padon
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.
Caterina Urban (chair), Amal Ahmed (representing ESOP), Dirk Beyer (representing TACAS), Andrew Pitts (representing FoSSaCS), Perdita Stevens (representing FASE), Marieke Huisman