Truth Conquers All
I graduated in 2006 from Huazhong University of Science and Technology located in Wuhan, a city in central China, with my undergraduate thesis advised by Dr. Kunmei Wen.
Prior to my PhD studies in the University of Waterloo (under the supervision of Prof. Grant Weddell), I worked with Prof. Volker Haarslev on Description Logics, and obtained my master's degree from Concordia University.
In general, I am interested in logic and automated reasoning. Should you be interested in my ongoing research, please refer to my university homepage.
My face in characters.
The original text characters won't fit the screen, hence I used an screenshot instead.