Yifei Dong

RESEARCH INTERESTS

formal methods, software engineering, programming languages, human-computer interaction, communication protocols.

BIOGRAPHY

Dr. Yifei Dong received the B.S degree in Computer Science from University of Science and Technology of China in 1990 and the Ph.D. degree in Computer Science from State University of New York at Stony Brook in 2003.  He was a software engineer for five years (1990-1995) and joined the faculty of School of Computer Science in 2003.  He is investigating the methods (theories and tools) that help improve the effectiveness, correctness and productivity of developing computer-based systems, from computer software to hybrid systems.

SELECTED PUBLICATIONS

Y. Dong, C.R. Ramakrishnan, and S.A. Smolka. Evidence Explorer: A Tool for Exploring Model-Checking Proofs. In Computer Aided Verification (CAV'03). Boulder, Colorado, July 2003.

Y. Dong, C.R. Ramakrishnan, and S.A. Smolka. Model Checking and Evidence Exploration. In 10th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 03). Huntsville, Alabama, April 2003.

Y. Dong, X. Du, G. J. Holzmann, and S. A. Smolka. Fighting Livelock in the GNU i-protocol: A Case Study in Explicit-State Model Checking. In Software Tools for Technology Transfer 4:4, 2003.

Y. Dong, B.S. na-Starosta, C.R. Ramakrishnan, and S. A. Smolka. Vacuity Checking in the Modal Mu-Calculus. In 9th International Conference on Algebraic Methodology And Software Technology (AMS 2002). Reunion Island, France, September 2002.

Y. Dong and C.R. Ramakrishnan. Logic Programming Optimizations for Faster Model Checking. In Workshop on Tabulation in Parsing and Deduction (TAPD'00). Spain, September 2000.