Li Tan
Assistant Professor
School of Electrical Engineering and Computer Science
Washington State University
2710 University Drive
Richland, WA 99354-1641
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 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.
I am a faculty entrepreneur mentor for WSU NSF i-Corps site.