From: Ralf Jung Date: Thu, 16 Sep 2021 19:02:15 +0000 (-0400) Subject: update my afiliation X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/53e4687934c7edaa749a607c5f6f35a6dd4c537d?hp=63481651211e20bb10d19dc3aebfca5ccdafff91 update my afiliation --- 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.