X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/33259f540f18a1efcc5312876f1e8f12f0718d0c..4ea4824e308ef60db50d58359ae05aafcf7de6f6:/research/index.html

diff --git a/research/index.html b/research/index.html
index 825ee99..14eb3c2 100644
--- a/research/index.html
+++ b/research/index.html
@@ -4,7 +4,7 @@ title: Ralf Jung
 
 <div style="float:right; margin-left:0.8em; margin-bottom: 0.3em"><img src="me.jpg"></div>
 
-<p>I am a PhD student at <a href="http://www.mpi-sws.org/" target="_blank">Max Planck Institute for Software Systems (MPI-SWS)</a> and <a href="http://www.uni-saarland.de/" target="_blank">Saarland University</a> under the supervision of <a href="http://www.mpi-sws.org/~dreyer/" target="_blank">Derek Dreyer</a>, head of the <a href="https://plv.mpi-sws.org/" target="_blank">Foundations of Programming group</a>.</p>
+<p>I am a PhD student at <a href="https://www.mpi-sws.org/" target="_blank">Max Planck Institute for Software Systems (MPI-SWS)</a> and <a href="https://www.uni-saarland.de/" target="_blank">Saarland University</a> under the supervision of <a href="https://www.mpi-sws.org/~dreyer/" target="_blank">Derek Dreyer</a>, head of the <a href="https://plv.mpi-sws.org/" target="_blank">Foundations of Programming group</a>.</p>
 
 <p>Previously, I did my Bachelor's thesis in computer science at the <a href="http://www.cdl.uni-saarland.de/index.php">Compiler Design chair</a> of the university (also see below).</p>