X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/a7aebabbe40cec3b44593eb2b3ab79e529fa9a7b..33645d587e71e11bb07959a7775716bc5ca45b7f:/research/thesis.html?ds=inline diff --git a/research/thesis.html b/research/thesis.html index b494077..5efaad2 100644 --- a/research/thesis.html +++ b/research/thesis.html @@ -19,8 +19,9 @@ slug: Thesis

This thesis has received an Honorable Mention for the ACM Doctoral Dissertation Award, the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award (as one of two recipients), -an Otto Hahn Medal -and the ETAPS Doctoral Dissertation Award. +an Otto Hahn Medal, +the ETAPS Doctoral Dissertation Award, +and the Saarland University Dr. Eduard Martin-Preis.

Download and references