Mercurial Mercurial > hg > public_html / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PhD/index.html
author Christian Urban <christian.urban@kcl.ac.uk>
Tue, 07 Jan 2025 12:42:42 +0000
changeset 653 2807ec31d144
parent 467 206271fb1d8c
permissions -rw-r--r--
updated

<!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>
public_html