About Me

Research Interests

Publications

Talks

Tools

Professional Sevices

Teaching

CESE

Li Tan 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 (509) 372-7167 E-mail: litan AT tricity.wsu.edu

I am an Assistant Professor in School of Electrical Engineering and Computer Science, Washington State University. I am residing on the Tricity campus of the Washington State University and advising graduate students on both Pullman and Tricity campuses. I am directing Center for Experimental Software Engineering at WSU Tri-Cites. 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, model checking, and supply-chain modeling and analysis. You may retrieve the list of my publications here or in [DBLP].

Prior to joining the EECS faculty at Washington 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 for verifying complex dynamic system design. Remaining imperfection is ours, of course.

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