From 3df867a0412f315cfa946fb12526edeea6fd0da9 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 26 Oct 2021 15:57:34 -0400 Subject: [PATCH 1/1] add Eduard Martin Preis --- research/thesis.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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

-- 2.30.2