public_html: PhD/index.html@0eece9e5e088 (annotated)

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

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Sat, 16 Jul 2016 14:01:46 +0100
changeset 453	0eece9e5e088
parent 392	880e62843614
child 466	60e2efad126c
permissions	-rw-r--r--