[ 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
2021. 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 2020 at a European
academic institution.
The winner of the second edition of the ETAPS Doctoral Dissertation award is
Dr. Ralf Jung (Saarland University)
for his dissertation on
Understanding and Evolving the Rust Programming Language
supervised by Prof. Derek Dreyer.
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.
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.
We offer Dr. Ralf Jung our congratulations and best wishes for his scientific
career!
The award ceremony will take place online on April 1st, 13h30 - 14h00 CEST,
during the ETAPS conference. On that occasion, Ralf will give a presentation of
his dissertation. All interested are invited to join!
