25 WIDTH="24%" |
25 WIDTH="24%" |
26 VALIGN="TOP" |
26 VALIGN="TOP" |
27 ROWSPAN="2"> |
27 ROWSPAN="2"> |
28 |
28 |
29 <B>Links</B><BR> |
29 <B>Links</B><BR> |
30 <A HREF="http://www4.in.tum.de/~urbanc/">Home</A><BR> |
30 <A HREF="http://www.inf.kcl.ac.uk/urbanc/">Home</A><BR> |
31 <A HREF="http://www4.in.tum.de/~urbanc/publications.html">Publications</A><BR> |
31 <A HREF="http://www.inf.kcl.ac.uk/urbanc/publications.html">Publications</A><BR> |
32 <A HREF="http://www4.in.tum.de/~urbanc/travelling.html">Recent Talks</A> |
32 <A HREF="http://www.inf.kcl.ac.uk/urbanc/travelling.html">Recent Talks</A> |
33 <BR> |
33 <BR> |
34 <BR> |
34 <BR> |
35 |
35 |
36 <B>Handy Information</B><BR> |
36 <B>Handy Information</B><BR> |
37 <A HREF="http://www4.in.tum.de/~urbanc/logic.html">People in Logic</A><BR> |
37 <A HREF="http://www.inf.kcl.ac.uk/urbanc/logic.html">People in Logic</A><BR> |
38 <A HREF="http://www4.in.tum.de/~urbanc/programming.html">Programming Languages</A><BR> |
38 <A HREF="http://www.inf.kcl.ac.uk/urbanc/programming.html">Programming Languages</A><BR> |
39 <A HREF="http://www4.in.tum.de/~urbanc/misc.html">Miscellaneous</A> |
39 <A HREF="http://www.inf.kcl.ac.uk/urbanc/misc.html">Miscellaneous</A> |
40 <BR><BR> |
40 <BR><BR> |
41 |
41 |
42 <A HREF="http://isabelle.in.tum.de/nominal/"> |
42 <A HREF="http://isabelle.in.tum.de/nominal/"> |
43 <IMG SRC="ribbon.gif" ALT="" style="width: 114px; height: 100px;" align="left"> |
43 <IMG SRC="ribbon.gif" ALT="" style="width: 114px; height: 100px;" align="left"> |
44 </A> |
44 </A> |
45 </TD> |
45 </TD> |
46 |
46 |
47 <!-- right column --> |
47 <!-- right column --> |
48 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
48 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
49 Postscript file of the thesis: |
49 Postscript file of the thesis: |
50 <A HREF="http://www4.in.tum.de/~urbanc/Publications/Phd-Urban.ps.gz">ps.gz</A> |
50 <A HREF="http://www.inf.kcl.ac.uk/urbanc/Publications/Phd-Urban.ps.gz">ps.gz</A> |
51 </TD> |
51 </TD> |
52 |
52 |
53 <TR> |
53 <TR> |
54 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
54 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
55 <H3>The Dinner after the Viva</H3> |
55 <H3>The Dinner after the Viva</H3> |
56 organised by Gavin in The Three Horseshoes in Maddingley. Very nice.<P> |
56 organised by Gavin in The Three Horseshoes in Maddingley. Very nice.<P> |
57 |
57 |
58 <IMG SRC="http://www4.in.tum.de/~urbanc/PhD/phd-1.jpg" ALT=""><BR> |
58 <IMG SRC="http://www.inf.kcl.ac.uk/urbanc/PhD/phd-1.jpg" ALT=""><BR> |
59 My examiners, |
59 My examiners, |
60 <A HREF="http://www.cl.cam.ac.uk/~amp12">Andy Pitts</A> and |
60 <A HREF="http://www.cl.cam.ac.uk/~amp12">Andy Pitts</A> and |
61 <A HREF="http://www.cs.kun.nl/~henk/">Henk Barendregt</A>, are next to me. |
61 <A HREF="http://www.cs.kun.nl/~henk/">Henk Barendregt</A>, are next to me. |
62 <A HREF="http://research.microsoft.com/~nick/">Nick Benton</A>, Mrs. Barendregt-Kessing (Henk's mother), |
62 <A HREF="http://research.microsoft.com/~nick/">Nick Benton</A>, Mrs. Barendregt-Kessing (Henk's mother), |
63 <A HREF="http://research.microsoft.com/~gmb/">Gavin Bierman</A>, |
63 <A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Gavin Bierman</A>, |
64 <A HREF="http://www.cs.bham.ac.uk/~mxj/">Mateja Jamnik</A>, |
64 <A HREF="https://www.cl.cam.ac.uk/~mj201/">Mateja Jamnik</A>, |
65 <A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A> and |
65 <A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A> and |
66 <A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A> |
66 <A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A> |
67 are standing behind.<P> |
67 are standing behind.<P> |
68 |
68 |
69 <IMG SRC="http://www4.in.tum.de/~urbanc/PhD/phd-2.jpg" ALT=""><BR> |
69 <IMG SRC="http://www.inf.kcl.ac.uk/urbanc/PhD/phd-2.jpg" ALT=""><BR> |
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> |
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> |
71 |
71 |
72 <H3>The Ceremony</H3> |
72 <H3>The Ceremony</H3> |
73 <IMG SRC="http://www4.in.tum.de/~urbanc/PhD/phd-3.jpg" ALT=""><p> |
73 <IMG SRC="http://www.inf.kcl.ac.uk/urbanc/PhD/phd-3.jpg" ALT=""><p> |
74 |
74 |
75 </TD> |
75 </TD> |
76 </TR> |
76 </TR> |
77 |
77 |
78 </TABLE> |
78 </TABLE> |