equal
deleted
inserted
replaced
178 |
178 |
179 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
179 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
180 by Xingyuan Zhang and me<BR> |
180 by Xingyuan Zhang and me<BR> |
181 <p> |
181 <p> |
182 |
182 |
183 <B>Current PhD</B> Fahad Ausaf<BR> |
183 <B>Current PhDs</B> Fahad Ausaf, Eman Homaeid, Reham Alhejaili<BR> |
184 <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>, |
185 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
185 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
186 |
186 |
187 If I am not teaching or not doing research, I am sometimes in the lavender |
187 If I am not teaching or not doing research, I am sometimes in the lavender |
188 <A HREF="https://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London. |
188 <A HREF="https://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London. |