Date: Mon, 25 Nov 1996 22:10:50 GMT Server: NCSA/1.5.2 Last-modified: Wed, 28 Aug 1996 20:00:53 GMT Content-type: text/html Content-length: 6668 Xudong He NDSU Faculty

Xudong He

(Associate Professor)

Address

Department of Computer Science, 262A IACC, NDSU, Fargo, ND 58105 Tel.(701) 231-8555, Email. Hex@plains.NoDak.edu

Education

Ph.D. Computer Science, Virginia Polytechnic Inst & State Univ, 1989 M.S. Computer Science, Nanjing University, China, 1984 B.S. Computer Science, Nanjing University, China, 1982

Recent Teaching Responsibilities

CS222 - Discrete Mathematics (Fall semester, 1995) CS316 - Software Testing & Maintenance (Spring semester, 1993-96) CS713 - Software Engineering I (Fall semester, 1993-96) CS714 - Software Engineering II (Spring semester, 1993 & 1995) CS789 - Automated Theorem Proving (Spring semester, 1994) CS783 - Design Patterns and Software Architecture (Spring, 1996)

Research Interests

Software engineering, Formal specification & verification methods, Software testing, Formal semantics

Recent Publications

Journals and Book Chapters

Refereed Conference Proceedings

Recent Grants

Honors

Completed Graduate Advisees