<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" + −
"http://www.w3.org/TR/REC-html40/loose.dtd"> + −
<HEAD>+ −
<TITLE>Homepage of Christian Urban</TITLE>+ −
<BASE HREF="http://nms.kcl.ac.uk/christian.urban/">+ −
</HEAD>+ −
+ −
<BODY TEXT="#000000" + −
BGCOLOR="#4169E1" + −
LINK="#0000EF" + −
VLINK="#51188E" + −
ALINK="#FF0000">+ −
+ −
<TABLE WIDTH="100%" + −
BGCOLOR="#4169E1" + −
BORDER="0" + −
FRAME="border" + −
CELLPADDING="10" + −
CELLSPACING="2"+ −
RULES="all">+ −
+ −
<!-- left column -->+ −
<TR>+ −
<TD BGCOLOR="#FFFFFF" + −
WIDTH="24%" + −
VALIGN="TOP" + −
ROWSPAN="2">+ −
+ −
<B>Links</B><BR>+ −
<A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>+ −
<A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR>+ −
<A HREF="http://nms.kcl.ac.uk/christian.urban/travelling.html">Recent Talks</A>+ −
<BR>+ −
<BR>+ −
+ −
<B>Handy Information</B><BR>+ −
<A HREF="http://nms.kcl.ac.uk/christian.urban/logic.html">People in Logic</A><BR> + −
<A HREF="http://nms.kcl.ac.uk/christian.urban/programming.html">Programming Languages</A><BR> + −
<A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A>+ −
<BR><BR>+ −
+ −
</A>+ −
</TD>+ −
+ −
<!-- right column -->+ −
<TD BGCOLOR="#FFFFFF" WIDTH="75%">+ −
Postscript file of the thesis: + −
<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Phd-Urban.ps.gz">ps.gz</A>+ −
</TD>+ −
+ −
<TR>+ −
<TD BGCOLOR="#FFFFFF" WIDTH="75%">+ −
<H3>The Dinner after the Viva</H3>+ −
organised by Gavin in The Three Horseshoes in Maddingley. Very nice.<P> + −
+ −
<IMG SRC="http://nms.kcl.ac.uk/christian.urban/PhD/phd-1.jpg" ALT=""><BR>+ −
My examiners, + −
<A HREF="http://www.cl.cam.ac.uk/~amp12">Andy Pitts</A> and + −
<A HREF="http://www.cs.kun.nl/~henk/">Henk Barendregt</A>, are next to me. + −
<A HREF="http://research.microsoft.com/~nick/">Nick Benton</A>, Mrs. Barendregt-Kessing (Henk's mother), + −
<A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A>, + −
<A HREF="https://www.cl.cam.ac.uk/~mj201/">Mateja Jamnik</A>, + −
<A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A> and + −
<A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A> + −
are standing behind.<P>+ −
+ −
<IMG SRC="http://nms.kcl.ac.uk/christian.urban/PhD/phd-2.jpg" ALT=""><BR>+ −
There are <A HREF="http://www.statslab.cam.ac.uk/Dept/People/pitts.html">Susan Pitts</A> and Alice Benton on the left.<P> + −
+ −
<H3>The Ceremony</H3>+ −
<IMG SRC="http://nms.kcl.ac.uk/christian.urban/PhD/phd-3.jpg" ALT=""><p>+ −
+ −
</TD>+ −
</TR>+ −
+ −
</TABLE>+ −
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->+ −
<!-- hhmts start -->+ −
Last modified: Thu Feb 28 20:23:06 CET 2008+ −
<!-- hhmts end -->+ −
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>+ −
</BODY>+ −
</HTML>+ −