From 53e4687934c7edaa749a607c5f6f35a6dd4c537d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 16 Sep 2021 15:02:15 -0400 Subject: [PATCH 1/1] update my afiliation --- research/contact.html | 15 ++++++--------- research/index.html | 5 ++--- 2 files changed, 8 insertions(+), 12 deletions(-) diff --git a/research/contact.html b/research/contact.html index 0424372..a4c4076 100644 --- a/research/contact.html +++ b/research/contact.html @@ -5,17 +5,14 @@ sort: 2

E-Mail Address

-

jung AT mpi-sws DOT org

- -

Phone Number

- -

+49 (681) 9303 8717

+

research AT ralfj DOT de

Work Address

-Room 336
-MPI-SWS (Campus E1.5)
-66123 Saarbrücken
-Germany +Floor 9, PDOS
+M.I.T. CSAIL, the Stata Center
+32 Vassar St
+Cambridge, MA 02139
+USA

diff --git a/research/index.html b/research/index.html index b41df18..87ce0d9 100644 --- a/research/index.html +++ b/research/index.html @@ -4,10 +4,9 @@ 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 also a research affiliate of PDOS at MIT.

+

I am a post-doctoral researcher in the PDOS group at MIT CSAIL under the supervision of Frans Kaashoek and Nickolai Zeldovich.

-

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

+

Previously, I completed my PhD at MPI-SWS and Saarland University in Saarbrücken, Germany.

I am currently working on giving a formal model to Rust's type system. This work is part of the RustBelt project.
-- 2.30.2