![[photo]](IMAGES/newcover.jpg)
I moved to Imperial College London. Please check my home page at Imperial for more information.
I finished my PhD study at the University of Warwick (UK) under the supervision of Prof. Doron Peled in 2005. Then I went to Marseille as a Postdoc, working for Dr. Peter Niebert. I came back to the UK in 2007.
PhD thesis: Theoretical and Practical Tools for Validating Discrete and Real-time Systems .
My research area mainly is model checking and software verification, especially partial order semantics. In the mean time, I am working on applying model checking techniques to other areas, such as scheduling.
In addition to theorectial research, I am also interested in tool development, trying to provide aids to other scientists (in the long run, industial users). POEM (Partial Order Environment of Marseille) is the tool currently being developed.
Here is the list of my publications tracked by DBLP.