Hongyang Qu's Homepage
I finished my PhD under the supervision of Prof. Peled in University of Warwick in October 2005, and had been
a postdoc in Université de Provence, France for one and half years.
Now I am a Postdoc in Department of Computing, Imperial College London. Here is my home page at Imperial.
Research interests: Model Checking & Validating software systems, Software Engineering, Networking
Department of Computing
Imperial College London
South Kensington Campus
London SW7 2RH
U.K.
EMAIL: 
TEL: +44 (0)207 594 8291
2007-11-17