equal
deleted
inserted
replaced
180 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
180 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
181 by Xingyuan Zhang and me<BR> |
181 by Xingyuan Zhang and me<BR> |
182 <p> |
182 <p> |
183 |
183 |
184 <B>Current PhDs</B> Chengsong Tan, Reham Alhejaili<BR> |
184 <B>Current PhDs</B> Chengsong Tan, Reham Alhejaili<BR> |
185 <B>Former PhD</B> Fahad Ausaf (works at ARM in the VHDL compiler team<BR> |
185 <B>Former PhD</B> Fahad Ausaf (works at ARM in the VHDL compiler team)<BR> |
186 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
186 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
187 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
187 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
188 |
188 |
189 If I am not teaching or not doing research, I am sometimes in the lavender |
189 If I am not teaching or not doing research, I am sometimes in the lavender |
190 <A HREF="https://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London. |
190 <A HREF="https://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London. |