Li Tan

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: