From 45bbb27328e3971aca5e222efddf722a72d710c1 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 19 Nov 2020 19:10:29 +0100 Subject: [PATCH 1/1] mention MIT --- research/index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/research/index.html b/research/index.html index 0f8ea7a..913537e 100644 --- a/research/index.html +++ b/research/index.html @@ -4,7 +4,8 @@ title: Ralf Jung
-

I am a post-doctoral researcher at Max Planck Institute for Software Systems (MPI-SWS) under the supervision of Derek Dreyer, head of the Foundations of Programming group.

+

I am a post-doctoral researcher at Max Planck Institute for Software Systems (MPI-SWS) under the supervision of Derek Dreyer, head of the Foundations of Programming group. +I am also a research affiliate of PDOS at MIT.

Previously, I completey my PhD thesis at MPI-SWS and Saarland University.

-- 2.30.2