equal
deleted
inserted
replaced
140 regular expressions, computability, complexity, functional and logic programming. |
140 regular expressions, computability, complexity, functional and logic programming. |
141 <P> |
141 <P> |
142 |
142 |
143 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
143 <B>Teaching</B> I usually enjoy teaching. At King's my students nominated me for the Teaching |
144 Excellence Award in |
144 Excellence Award in |
145 2012 and 2015. In 2014 I received both prizes for Best UG Project Supervisor and for Best |
145 2012 and 2015, and for the best MSc Project supervisor in 2015. |
|
146 In 2014 I received both prizes for Best UG Project Supervisor and for Best |
146 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty<A>.<P> |
147 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty<A>.<P> |
|
148 |
147 |
149 |
148 <B>Conferences</B> |
150 <B>Conferences</B> |
149 UNIF'06 (member of PC), |
151 UNIF'06 (member of PC), |
150 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
152 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
153 <A HREF="http://isabelle.in.tum.de/nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
349 </TR> |
351 </TR> |
350 |
352 |
351 |
353 |
352 </TABLE> |
354 </TABLE> |
353 <P> |
355 <P> |
354 <!-- hhmts start --> Last modified: Tue Oct 6 20:03:19 BST 2015 <!-- hhmts end --> |
356 <!-- hhmts start --> Last modified: Fri Nov 13 13:13:26 GMT 2015 <!-- hhmts end --> |
355 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
357 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
356 </BODY> |
358 </BODY> |
357 </HTML> |
359 </HTML> |