About Me

Research Interests

Publications

Talks

Tools(new!)

Professional Sevices

Li Tan Clinical Assistant Professor School of Electrical Engineering and Computer Science Washington State University 2710 University Drive Richland, WA 99354-1641 USA Office: West 134L Telephone: +1 (508) 361-0928 E-mail: litan AT tricity.wsu.edu

I am a Clinical Assistant Professor at the Washington State University Tri-Cities. I attained my Ph.D. in Computer Science in May 2002 from State University of New York at Stony Brook. I completed a Postdoctoral fellowship on model-based system design in the University of Pennsylvania. My research interests include model-based system design and analysis, software verification and testing, and model checking. You may retrieve the list of my publications here or in [DBLP].

Prior to joining the EECS faculty at Wastington State University, I was a research engineer in the MathWorks. I am 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^®. I hope that at very least you would find the tool is useful. Remaining defects are ours, of course.

I also had a M.S. in Computer Science from SUNY Stony Brook (1999), as well as a M.S. in Computer Science (1997) and a B.S. in Physics (1992) from Fudan University, Shanghai, China.