research: re-add missing image
authorRalf Jung <post@ralfj.de>
Thu, 8 Oct 2015 21:50:01 +0000 (23:50 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 8 Oct 2015 21:50:01 +0000 (23:50 +0200)
cs/research.html

index 343c440..af9a103 100644 (file)
@@ -4,6 +4,8 @@ absolute_urls: true
 hide: true
 ---
 
+<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="http://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>