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