X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/3985ba8bb04e900972ff20be7a2127a7a6c81bc7..63adf70f892230668e04fc5caf9e3e830e5a51ba:/research/index.html?ds=sidebyside diff --git a/research/index.html b/research/index.html index 7aa4df6..b41df18 100644 --- a/research/index.html +++ b/research/index.html @@ -4,13 +4,14 @@ title: Ralf Jung
-

I am a PhD student at Max Planck Institute for Software Systems (MPI-SWS) and Saarland University 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 did my Bachelor's thesis in computer science at the Compiler Design chair of the university (also see below).

+

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

I am currently working on giving a formal model to Rust's type system. This work is part of the RustBelt project.
-The Rust work builds on my previous work on a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics.
+The Rust work builds on my previous work on Iris, a logic to support modular reasoning about higher-order concurrent imperative programs. The focus there was on providing simple building blocks that are powerful enough to recover more sophisticated reasoning techniques that were often axiomatized in previous logics.
For some more information, check out my research blog and my research statement.

In my free time, I like to run internet services myself and work on free software.