EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

christoph [2015/03/26 11:56]
christoph [About me] fixed mt url
christoph [2016/01/25 14:31] (current)
christoph
Line 11: Line 11:
  
 I am a //PhD student// at [[http://www8.cs.fau.de|Chair for Theoretical Computer Science]] of Friedrich-Alexander University of Erlangen and Nürnberg. My Master's thesis about a generic Hoare calculus for order-enriched effects with additional support for exceptions, supervised by [[schroeder|Lutz Schröder]] and [[sergey|Sergey Goncharov]], is available [[https://www8.cs.fau.de/staff/christoph/misc/mt_ch_rauch.pdf|here]]. I am a //PhD student// at [[http://www8.cs.fau.de|Chair for Theoretical Computer Science]] of Friedrich-Alexander University of Erlangen and Nürnberg. My Master's thesis about a generic Hoare calculus for order-enriched effects with additional support for exceptions, supervised by [[schroeder|Lutz Schröder]] and [[sergey|Sergey Goncharov]], is available [[https://www8.cs.fau.de/staff/christoph/misc/mt_ch_rauch.pdf|here]].
 +
 +====== Publications ======
 +<html>
 +<style>
 +.date {
 +font-family: Verdana, Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
 +font-size: 1em;
 +font-weight: bold;
 +color:  #99001d;
 +padding-left: 5px;}
 +.rheader { font-size: 0pt }
 +.bibref { padding:3px; padding-left:15px; vertical-align:top;}
 +.bibtitle { font-weight:bold; }
 +.bibbooktitle { font-style:italic; }
 +</style>
 +</html>
 +
 +<php>
 +$_GET['bib']='data/pages/chair8.txt';
 +$_GET['author']='Christoph Rauch';
 +$_GET['all']=1;
 +
 +include('bibtexbrowser.php');
 +</php>
 +
 +~~NOCACHE~~