[TYPES/announce] Ralf Jung wins the ETAPS Doctoral Dissertation Award 2021

[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 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!