Li Tan, Assistant Professor

• Ph.D. in Computer Science, State University of New York at Stony Brook, 2002
• M.S. in Computer Science, SUNY Stony Brook, 1999
• M.S. in Computer Science, Fudan University, Shanghai, China, 1997
• B.S. in Physics, Fudan University, Shanghai, China, 1992

Joined WSU Tri-Cities in 2007 from MathWorks, Inc.

Teaching Interests

• Automata and Formal Languages (Cpts 317)
• Software Engineering Principles I: Introduction to Software Engineering (Cpts 322)
• Software Design (Cpts 323)
• Software Design Project I (Cpts 421)
• Software Engineering Principles II: Software Testing and Analysis (Cpts 422)
• Software Design Project II (Cpts 423)

Research Interests

• software engineering with specialty areas of cyber security and resilient systems
• software testing and analysis
• model-driven design
• agricultural information system
• supply-chain analysis and modeling

• Bolong Zeng and Li Tan: “Test Reactive Systems with Buchi-Automaton-Based Temporal Requirements”. To appear in Advances in Intelligent and Software Computing. Springer. 2016.
• Yiannis Ampatzidis, Li Tan, Ronald Haley, and Matthew Whiting: “Cloud-based harvest management information system for hand-harvested specialty crops”. Pages 161-167, Volume 122, Computers and Electronics in Agriculture. Elsevier
• Bolong Zeng and Li Tan: “Test reactive systems with Büchi automata: acceptance condition coverage criteria and performance evaluation”. Proceedings of the 16th IEEE International Conference on Information Reuse and Integration (IEEE IRI’15), San Francisco, CA. August, 2015.
• Li Tan, Ronald Haley, and Riley Wortman: “Cloud-Based Harvest Management System for Specialty Crops”. Proceedings of IEEE 4th Symposium on Network Cloud Computing and Applications (IEEE NCCA’15), Munich, Germany. June, 2015.
• Bolong Zeng and Li Tan: “Testing with Buchi Automata: Transition coverage metrics, performance analysis, and property refinement”. In Press. Advances in Intelligent Systems and Computing. Springer. 2015
• Yongni Shao, Li Tan, Bolong Zeng, and Qin Zhang: “Canopy pruning grade classification based on fast Fourier transform and artificial neural network”. Transactions of the American Society of Agricultural and Biological Engineers (ASABE). Volume 57(3). 2014.
• Li Tan and Riley Wortman: “Cloud-based monitoring and analysis of yield efficiency in precision farming”. Proceedings of 2014 IEEE Information Reuse and Integration (IEEE IRI’14). IEEE Press. San Francisco, CA. August, 2014.
• Li Tan and Bolong Zeng: “Specification-Based Testing with Buchi Automata: Transition Coverage Criteria and Property Refinement”. Proceedings of 2014 IEEE Information Reuse and Integration (IEEE IRI’14). IEEE Press. San Francisco, CA. August, 2014.
• Li Tan, Suma Ponnam, Patrick Gillham, Bob Edwards, and Erik Johnson: “Analyzing the impact of social media on social movement: a computational study on Twitter and Occupy Wall Street movement”. In IEEE/ACM ASONAM’13. IEEE Press. Niagra Falls, Canada. August, 2013.
• Li Tan, Ronald Haley, Riley Wortman, Yiannis Ampatzidis, and Matthew Whiting: “An Integrated Cloud-Based Platform for Labor Monitoring and Data Analysis in Precision Agriculture”. Proceedings of 2013 IEEE Information Reuse and Integration (IEEE IRI’13). IEEE Press. San Francisco, CA. August, 2013.
• Bolong Zeng and Li Tan: “A Unified Framework for Evaluating Test Criteria. in Model-Checking-Assisted Test Case Generation”. Information Systems Frontiers. Springer. April, 2013.
• Yiannis Ampatzidis, Li Tan, Ronald Haley, Riley Wortman, and Matthew Whiting: “Harvest management information system for specialty crops”. In the proceedings of annual meeting of ASABE, 2013.
• Li Tan, Shenghan Xu, Benjamin Meyer, and Brock Erwin, “An Extensible Object-Oriented and Agent-Based Framework for Modeling and Simulating Supply Chains”, International Journal of Information and Decision Sciences, Vol. 4, Nos 2/3, pp. 251-267,InterScience, 2012
• Bolong Zeng and Li Tan, “Test Criteria for Model-Checking-Assisted Test Vector Generation: A Computational Study”, Proceedings of 2012 IEEE Information Reuse and Integration (IEEE IRI’12), IEEE Press, Las Vegas, NV, August, 2012
• Li Tan, Ronald Haley, Riley Wortman, and Qin Zhang, “An Extensible and Integrated Software Architecture for Data Analysis and Visualization in Precision Agriculture”, Proceedings of 2012 IEEE Information Reuse and Integration (IEEE IRI’12), IEEE Press, Las Vegas, NV, August, 2012
• Lars J. Kangas, Thomas O. Metz, Giorgis Isaac, Brian T. Schrom, Bojana Ginovska-Pangovska, Luning Wang, Li Tan, Robert R. Lewis and John H. Miller, “In Silico Identification Software (ISIS): A Machine Learning Approach to Tandem Mass Spectral Identification of Lipids “, Bioinformatics, Oxford Press, 2012
• Shyretha Brown, Xianyi Zhang, Hongfei Wang, Ziyu Dai, Li Tan, and Bin Yang, “Dynamic Characterization of Enzymatic Hydrolysis of Cellulose via a Broadband Stimulated Raman Spectroscopy”, Proceedings of the 34th Symposium on Biotechnology for Fuels and Chemicals, New Orleans, LA, May, 2012