equal
deleted
inserted
replaced
126 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that |
126 from 2000 until 2004 I was awarded a Research Fellowship in Cambridge. Before that |
127 I did my PhD in Cambridge funded by two scholarships from the German Academic Exchange |
127 I did my PhD in Cambridge funded by two scholarships from the German Academic Exchange |
128 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>). |
128 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>). |
129 <P> |
129 <P> |
130 |
130 |
131 <B>Skolem Award</B> Together with Christine Tasson I was awarded a |
131 <B>Skolem Award</B> Together with |
|
132 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A> I was awarded a |
132 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year |
133 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year |
133 test-of-time award from CADE, for our |
134 test-of-time award from CADE, for our |
134 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A> |
135 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A> |
135 on Nominal Techniques in Isabelle/HOL from 2005. |
136 on Nominal Techniques in Isabelle/HOL from 2005. |
136 <P> |
137 <P> |
338 </TR> |
339 </TR> |
339 |
340 |
340 |
341 |
341 </TABLE> |
342 </TABLE> |
342 <P> |
343 <P> |
343 <!-- hhmts start --> Last modified: Sun Jun 21 15:06:10 BST 2015 <!-- hhmts end --> |
344 <!-- hhmts start --> Last modified: Sun Jun 21 15:29:15 BST 2015 <!-- hhmts end --> |
344 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
345 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
345 </BODY> |
346 </BODY> |
346 </HTML> |
347 </HTML> |