Juncao Li

李 俊 操

Olympic National Park
Department of Computer Science
Portland State University
P.O. Box 751
Portland, Oregon 97207–0751

Welcome to my homepage. I will join the Driver Quality Tools group, Microsoft in December 2010.

I was a Ph.D. student in the Computer Science Department, Portland State University, where I worked with Prof. Fei Xie. I finished my Ph.D. in Fall 2010.

I received the 2009-10 Maseeh Graduate Fellowship. Thanks, Dr. Fariborz Maseeh.

Research

My interests are in the areas of formal verification (model checking) and software engineering, specifically on component-based co-design and co-verification of embedded systems, co-verification of device drivers with their hardware device models. I also had experience in computer security such as biometrics and anonymous communication.

My Ph.D. dissertation topic is An Automata-Theoretic Approach to Hardware/Software Co-verification.

Working Experience

Education

Apr.2008~Nov. 2010       Ph.D. in Dept. of Computer Science, Portland State University, Portland, OR, USA

Sep.2006~Mar.2008        M.S. in Dept. of Computer Science, Portland State University, Portland, OR, USA

Sep. 2004~Jul. 2006        M.E. in Dept. of Automatic Measurement and Control, Harbin Institute of Technology, Harbin, China

Sep. 2000~Jul. 2004        B.E. in Dept. of Automatic Measurement and Control, Harbin Institute of Technology, Harbin, China

Literatures & Mottos

Sometimes, I write something (Chinese)

Mottos that I loved

Contact

Office: FAB 115-07

Email: juncao ''at" cs.pdx.edu

Last updated: Nov. 29 2010