equal
deleted
inserted
replaced
85 <BR> |
85 <BR> |
86 |
86 |
87 <B>Address</B> |
87 <B>Address</B> |
88 <A HREF="http://www.kcl.ac.uk/nms/depts/informatics/">Department of Informatics</A>, |
88 <A HREF="http://www.kcl.ac.uk/nms/depts/informatics/">Department of Informatics</A>, |
89 <A HREF="http://www.kcl.ac.uk">King's College London</A>, |
89 <A HREF="http://www.kcl.ac.uk">King's College London</A>, |
90 Strand, London WC2R 2LS, UK. My office is S1.27 on the 1st floor of the Strand Building. |
90 Bush House, 30 Aldwych, London WC2B 4BG, UK. My office is 7.07 on the 7th floor, North Wing, of the Bush House. |
91 <BR> |
91 <BR> |
92 |
92 |
93 </TD> |
93 </TD> |
94 <TD align="right" valign="top"> |
94 <TD align="right" valign="top"> |
95 <A HREF="http://nms.kcl.ac.uk/christian.urban/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A> |
95 <A HREF="http://nms.kcl.ac.uk/christian.urban/picture-small.jpg"><IMG ALT="" SRC="picture-small.jpg" align="top"></A> |
141 regular expressions, computability, complexity, functional and logic programming. |
141 regular expressions, computability, complexity, functional and logic programming. |
142 <P> |
142 <P> |
143 |
143 |
144 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
144 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
145 Excellence Award in |
145 Excellence Award in |
146 2012, 2015 and 2016, and for the best MSc Project supervisor in 2015. |
146 2012, 2015, 2016 and 2017, and for the best MSc Project supervisor in 2015. |
147 In 2014 I received both prizes for Best UG Project Supervisor and for Best |
147 In 2014 I received both prizes for Best UG Project Supervisor and for Best |
148 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty</A>.<P> |
148 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty</A>.<P> |
149 |
149 |
|
150 |
150 |
151 |
151 <B>Conferences</B> |
152 <B>Conferences</B> |
152 UNIF'06 (member of PC), |
153 UNIF'06 (member of PC), |
153 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
154 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
154 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
155 <A HREF="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
179 by Xingyuan Zhang and me<BR> |
180 by Xingyuan Zhang and me<BR> |
180 <p> |
181 <p> |
181 |
182 |
182 <B>Current PhD</B> Fahad Ausaf<BR> |
183 <B>Current PhD</B> Fahad Ausaf<BR> |
183 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
184 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
184 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A> |
185 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
|
186 |
|
187 If I am not teaching or not doing research, I am sometimes in the lavender |
|
188 <A HREF="http://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London. |
185 </TD> |
189 </TD> |
186 </TR> |
190 </TR> |
187 |
191 |
188 <TR> |
192 <TR> |
189 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
193 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |