 |
|
|
 |
 |
EDUCATION
University of Pennsylvania, Philadelphia, PA
Ph.D. in
Computer and
Information Science.
2003. Advisor: Rajeev
Alur
Rice University, Houston, TX
M.S. in Computer
Science,
1999. Advisor: Moshe
Vardi
University of Science and Technology of China, Hefei, China
B.S. in Computer
Science,
1996.
|
|
PROFESSIONAL
EXPERIENCE
Western
Michigan University, Department
of
Computer Science, Kalamazoo, MI
Assistant Professor, August 2003 – present
NEC Labs America, Inc. Princeton, NJ
Consultant, August 2003 – May 2005
NEC
Computer and Communication Research Lab, Princeton, NJ
Associate Research Staff Member, August 1999 –
August 2003
University of Pennsylvania, Philadelphia, PA
Research Assistant, January 2000 – June 2003
Rice University, Department
of Computer Science, Houston, TX
Research Assistant, May 1997 - August 1999.
Lucent
Technologies, Bell Labs, Murray Hill, NJ
Summer intern, May - August 1998.
|
|
TEACHING EXPERIENCE
Western Michigan
University,
Department of Computer Science, Kalamazoo, MI
CS6910 Computer-Aided
Verification, spring 2004,
spring 2005, spring 2006, spring 2007
CS1120 Computer Science II, fall
2003, fall 2004, spring 2005
CS1110 Computer Science I, fall 2007
CS6610 Software Engineering II, spring 2006, spring 2007
University of Pennsylvania,
Department of Computer & Information Science, Philadelphia, PA
CSE380/381 Introduction to
Operating Systems, teaching
assistant, fall 2002
CSE334 Advanced Topics in
Algorithms, teaching
assistant, spring 2002 |
|
Professional Activities
- Track Co-chair, Track on Software Verification, ACM 2007 Symposium on Applied Computing, March 11-15, 2007, Seoul, Korea.
- Co-organizer, 4th
International
Software Verification and Validation (SVV) Workshop as part of
FLoC
2006, Seattle, Washington,
August, 2006
- Track Co-chair, Track
on Software
Verification, ACM
2006 Symposium on Applied Computing,
April 23-27, 2006,
Dijon, France
- Co-organizer, 3rd
International
Software Verification and Validation (SVV) Workshop as part of
ICFEM
2006, October 31, 2005,
Manchester, UK
- Reviwer. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems.
- Reviewer. The Computer Journal. Oxford Press.
- Reviewer. ACM Transactions on Design Automation of Electronic Systems.
- National Science Foundation Panelist
|
|
|
|
|
|
