X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/9ec5b4c0fb5f705fa69b1629c6eaa60dae500b69..c3f35ab1622ecb792dba0ece727f148abf6018fb:/research/index.html diff --git a/research/index.html b/research/index.html new file mode 100644 index 0000000..af9a103 --- /dev/null +++ b/research/index.html @@ -0,0 +1,62 @@ +--- +title: Research +absolute_urls: true +hide: true +--- + +
+ +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.
+ +Previously, I did my Bachelor's thesis in computer science at the Compiler Design chair of the university (also see below).
+ +I am currently working on logics to support modular reasoning about higher-order concurrent imperative programs. The focus is on providing simple building blocks that are powerful enough to recover previous reasoning techniques.
+ +In my free time, I like to run internet services myself and work on free software. +This goes hand-in-hand with my pursuit of defending our privacy rights and our freedom in the digital world. +See my personal website for more information.
+ +jung AT mpi-sws DOT org
+ ++49 (681) 9303 8717
+ +
+Room 438
+MPI-SWS (Campus E1.5)
+66123 Saarbrücken
+Germany
+