The School of Electrical Engineering and Computer Science

Home » Faculty

Li Tan

tanli.jpg
Contact Information
(509) 372-7232
West 134L, WSU Tri Cities
Personal Homepage
Contact: 
Send this person an email
Present Position: 
  • Clinical Assistant Professor, School of Electrical Engineering and Computer Science, WSU Tri-Cities
Education: 
  • Ph.D. in Computer Science in May 2002 from State University of New York at Stony Brook.
  • M.S. in Computer Science from SUNY Stony Brook (1999)
  • M.S. in Computer Science from Fudan University, Shanghai, China (1997)
  • B.S. in Physics from Fudan University, Shanghai, China (1992)
Research Areas: 
Professional Experience: 
  • Prior to joining the EECS faculty at Wastington State University, he was a research engineer in the MathWorks.
  • He is a principle designer and developer of Simulink Design Verifier version 1.0, a bounded model-checking based formal verification and test generation tool for system models in Simulink® and Stateflow®.
Professional Recognition: 
 

Events

« November 2009 »
SMTWTFS
1234567
891011121314
15161718192021
22232425262728
2930
 
Contact us: webmaster@eecs.wsu.edu | Telephone: 509 335 6602 Fax: 509 335 3818 | Accessibility | Copyright | Policies
School of Electrical Engineering and Computer Science, PO BOX 642752, Washington State University, Pullman, WA, 99164-2752 USA