328 Some details on my thesis "Classical Logic and Computation" are |
328 Some details on my thesis "Classical Logic and Computation" are |
329 <A HREF="https://nms.kcl.ac.uk/christian.urban/PhD/index.html">elsewhere</A>, including |
329 <A HREF="https://nms.kcl.ac.uk/christian.urban/PhD/index.html">elsewhere</A>, including |
330 a <A HREF="https://nms.kcl.ac.uk/christian.urban/Cut/cutapplet.html">Java Applet</A> that |
330 a <A HREF="https://nms.kcl.ac.uk/christian.urban/Cut/cutapplet.html">Java Applet</A> that |
331 'visualises' some of the results from the thesis. I completed the writing of |
331 'visualises' some of the results from the thesis. I completed the writing of |
332 the thesis in <A HREF="http://iml.univ-mrs.fr/ldp/">Marseille</A> in the group of |
332 the thesis in <A HREF="http://iml.univ-mrs.fr/ldp/">Marseille</A> in the group of |
333 <A HREF="http://iml.univ-mrs.fr/~girard/">Prof. Jean-Yves Girard</A>. My study in |
333 <A HREF="http://girard.perso.math.cnrs.fr/Accueil.html">Prof. Jean-Yves Girard</A>. My study in |
334 Cambridge was funded by two <A HREF="http://www.daad.de/index.html">scholarships</a> |
334 Cambridge was funded by two <A HREF="http://www.daad.de/index.html">scholarships</a> |
335 from the German government; my year in Marseille by a TMR-fellowship from the EU. |
335 from the German government; my year in Marseille by a TMR-fellowship from the EU. |
336 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical |
336 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical |
337 Proofs. The strong normalisation result in the PhD has been used in 2007 by |
337 Proofs. The strong normalisation result in the PhD has been used in 2007 by |
338 <A HREF="http://www.loria.fr/~ckirchne/hot.html">Prof. Claude Kirchner</A> and his |
338 <A HREF="http://www.destineesnumeriques.com/speaker/aJZiZm5o/claude-kirchner">Prof. Claude Kirchner</A> and his |
339 students for proving consistency of their superdeduction system lemuridae. |
339 students for proving consistency of their superdeduction system lemuridae. |
340 </TD> |
340 </TD> |
341 </TR> |
341 </TR> |
342 |
342 |
343 |
343 |