X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/e0e9931774a96f62b086fb782aff86cd3cbbe6b4..4ac6ce5cb46f71d6eefa5f6e9d4a27650599199f:/cs/research.html?ds=inline diff --git a/cs/research.html b/cs/research.html index 2222b7f..af9a103 100644 --- a/cs/research.html +++ b/cs/research.html @@ -4,6 +4,8 @@ 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).

@@ -12,7 +14,7 @@ hide: true

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.

+See my personal website for more information.

Thesis, Publications, Workshop Submissions