public_html: PhD/index.html~@b2676210bfc7 (annotated)

415 f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	"http://www.w3.org/TR/REC-html40/loose.dtd">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	<HEAD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	<TITLE>Homepage of Christian Urban</TITLE>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	<BASE HREF="http://www.inf.kcl.ac.uk/urbanc/">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	</HEAD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	<BODY TEXT="#000000"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	BGCOLOR="#4169E1"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	LINK="#0000EF"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	VLINK="#51188E"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	ALINK="#FF0000">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	<TABLE WIDTH="100%"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	BGCOLOR="#4169E1"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	BORDER="0"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	FRAME="border"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	CELLPADDING="10"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	CELLSPACING="2"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	RULES="all">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	<!-- left column -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	<TR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	<TD BGCOLOR="#FFFFFF"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	WIDTH="24%"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	VALIGN="TOP"
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	ROWSPAN="2">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	<B>Links</B><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	<A HREF="http://www.inf.kcl.ac.uk/urbanc/">Home</A><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	<A HREF="http://www.inf.kcl.ac.uk/urbanc/publications.html">Publications</A><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	<A HREF="http://www.inf.kcl.ac.uk/urbanc/travelling.html">Recent Talks</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	<BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	<BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	<B>Handy Information</B><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	<A HREF="http://www.inf.kcl.ac.uk/urbanc/logic.html">People in Logic</A><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	<A HREF="http://www.inf.kcl.ac.uk/urbanc/programming.html">Programming Languages</A><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	<A HREF="http://www.inf.kcl.ac.uk/urbanc/misc.html">Miscellaneous</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	<BR><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	<A HREF="http://isabelle.in.tum.de/nominal/">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	<IMG SRC="ribbon.gif" ALT="" style="width: 114px; height: 100px;" align="left">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	</TD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	<!-- right column -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	Postscript file of the thesis:
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	<A HREF="http://www.inf.kcl.ac.uk/urbanc/Publications/Phd-Urban.ps.gz">ps.gz</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	</TD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	<TR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	<TD BGCOLOR="#FFFFFF" WIDTH="75%">
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	<H3>The Dinner after the Viva</H3>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	organised by Gavin in The Three Horseshoes in Maddingley. Very nice.<P>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	<IMG SRC="http://www.inf.kcl.ac.uk/urbanc/PhD/phd-1.jpg" ALT=""><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	My examiners,
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	<A HREF="http://www.cl.cam.ac.uk/~amp12">Andy Pitts</A> and
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	<A HREF="http://www.cs.kun.nl/~henk/">Henk Barendregt</A>, are next to me.
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	<A HREF="http://research.microsoft.com/~nick/">Nick Benton</A>, Mrs. Barendregt-Kessing (Henk's mother),
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	<A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A>,
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	<A HREF="http://www.cs.bham.ac.uk/~mxj/">Mateja Jamnik</A>,
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	<A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A> and
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	<A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	are standing behind.<P>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	<IMG SRC="http://www.inf.kcl.ac.uk/urbanc/PhD/phd-2.jpg" ALT=""><BR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	There are <A HREF="http://www.statslab.cam.ac.uk/Dept/People/pitts.html">Susan Pitts</A> and Alice Benton on the left.<P>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	<H3>The Ceremony</H3>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	<IMG SRC="http://www.inf.kcl.ac.uk/urbanc/PhD/phd-3.jpg" ALT=""><p>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	</TD>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	</TR>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	</TABLE>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	<!-- hhmts start -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	Last modified: Thu Feb 28 20:23:06 CET 2008
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	<!-- hhmts end -->
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	</BODY>
f1be8028a4a9 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	</HTML>

author	Christian Urban <christian.urban@kcl.ac.uk>
	Fri, 13 Aug 2021 22:13:20 +0200
changeset 611	b2676210bfc7
parent 415	f1be8028a4a9
permissions	-rw-r--r--