equal
deleted
inserted
replaced
179 |
179 |
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> Fahad Ausaf, Chengsong Tan, Reham Alhejaili<BR> |
184 <B>Current PhDs</B>Chengsong Tan, Reham Alhejaili<BR> |
185 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
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 <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> |
187 |
188 |
188 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 |
189 <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. |
190 </TD> |
191 </TD> |