equal
deleted
inserted
replaced
191 |
191 |
192 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
192 <A HREF="https://nms.kcl.ac.uk/christian.urban/itp-2015/">ITP'15</A> took place in Nanjing organised |
193 by Xingyuan Zhang and me<BR> |
193 by Xingyuan Zhang and me<BR> |
194 <p> |
194 <p> |
195 |
195 |
196 <B>Current PhD</B> Chengsong Tan<BR> |
196 <B>Current PhD</B> Meshal Nasser Binnasban<BR> |
197 <B>Former PhD</B> Fahad Ausaf (works at ARM in the VHDL compiler team)<BR> |
197 <B>Former PhDs</B> Fahad Ausaf (works at ARM in the VHDL compiler team); Chengsong Tan (postdoc at Imperial College, now works at <A HREF="https://www.kaihongdigi.com">Kaihong Digital</A> verifying OSes)<BR> |
198 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
198 <B>Former RAs</B> Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, |
199 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
199 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A><p> |
200 |
200 |
201 If I am not teaching or not doing any research, I am sometimes in the lavender |
201 If I am not teaching or not doing any research, I am sometimes in the lavender |
202 <A HREF="https://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London, or I do |
202 <A HREF="https://nms.kcl.ac.uk/christian.urban/family.jpg">fields</A> of London, or I do |