Ms. Duan initially obtained her Bachelor's degree in Electrical and Electronic Engineering in China. Strongly determined later on to pursuit a career in Computer Science, she began working on her Master's at the University of Windsor by taking all the required undergraduate qualifying courses. She completed them in a short period of time with outstanding grades.
Lihua always talks all the opportunities available to expand her knowledge. She took seven graduate courses although only six were. With a strong desire in learning and enormous effort and dedication, she completed all the graduate courses with A+.
Ms. Duan possesses high level of comprehension and abstraction skills. In her Master's thesis, she had successfully made improvements on current synthesis and verification techniques on communication protocols. Her results were written with full formalization including 11 propositions and theorems with all detailed proofs. With all three absolutely positive reviewers' reports, the paper reporting her Master's thesis work  has been accepted for publication by Software Testing, Validation and Reliability, a prestigious international journal on Software Engineering.
During her first two years of Ph.D. study in 2005/2006 and 2006/2007, she has won the Ontario Graduate Scholarship for Science and Technology. She has passed all the 12 Ph.D. qualification exams with her first attempt, and has written six high-quality research papers. Two of these publications have appeared in prestigious LNCS series with deep technical details (18 pages and 20 pages respectively) [5,7]. Two other pieces of work [3,4] are currently published in IEEE conference proceedings which are being extended into journal versions. This is very high achievement in short time especially when most of the work involved rigorous soundness proofs for the proposed methods. We applaude Lihua’s accomplishments and appreciate her dedication. Congratulations, Lihua!