equal
deleted
inserted
replaced
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. My students nominated me for the Teaching Excellence Award in |
144 <B>Teaching</B> I usually enjoy teaching. My students nominated me for the Teaching 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. In 2014 I received both prizes for Best UG Project Supervisor and for Best |
146 MSc Project Supervisor in the NMS Faculty.<P> |
146 MSc Project Supervisor in the <A HREF="http://www.kcl.ac.uk/nms/index.aspx">NMS Faculty<A>.<P> |
147 |
147 |
148 <B>Conferences</B> |
148 <B>Conferences</B> |
149 UNIF'06 (member of PC), |
149 UNIF'06 (member of PC), |
150 <A HREF="http://www.cs.mcgill.ca/~bpientka/lfmtp07">LFMTP'07</A> (member of PC), |
150 <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), |
151 <A HREF="http://isabelle.in.tum.de/nominal/activities/lfmtp08/">LFMTP'08</A> (PC co-chair), |
345 </TR> |
345 </TR> |
346 |
346 |
347 |
347 |
348 </TABLE> |
348 </TABLE> |
349 <P> |
349 <P> |
350 <!-- hhmts start --> Last modified: Thu Aug 20 09:21:24 CST 2015 <!-- hhmts end --> |
350 <!-- hhmts start --> Last modified: Thu Aug 20 09:32:18 CST 2015 <!-- hhmts end --> |
351 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
351 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
352 </BODY> |
352 </BODY> |
353 </HTML> |
353 </HTML> |