X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/15689633b90fac854711316ed920dc347f5ce836..e0e9931774a96f62b086fb782aff86cd3cbbe6b4:/cs/research.html diff --git a/cs/research.html b/cs/research.html new file mode 100644 index 0000000..2222b7f --- /dev/null +++ b/cs/research.html @@ -0,0 +1,60 @@ +--- +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, in particular some of my software projects.
+ +jung AT mpi-sws DOT org
+ ++49 (681) 9303 8717
+ +
+Room 438
+MPI-SWS (Campus E1.5)
+66123 Saarbrücken
+Germany
+