http://www.cs.twsu.edu/~nie/nie.html
Home Page for Xumin Nie
Dr. Xumin Nie
Assistant Professor
Computer Science Department
Wichita State University
Wichita,
Kansas 67260-0083,
U.S.A.
Spring 1995 Schedule
Teaching CS 742
Computer Communication Networks , TTH 5:35PM to 6:50PM, 219 NH.
Salim Achouche is the TA.
Teaching CS 843,
Distributed Computing Systems , TTH 7:30PM to 8:45PM, 261 SB
Office Hours: TTH 2:00PM to 4:00PM
Office: 241 SB
Phone: 316-978-3928
Fax:316-978-3984
E-Mail Address: nie@cs.twsu.edu
Click here to send mail
Education
- B.S. (Honors) 1982, Computer Science,
Harbin Institute of Technology , Harbin, China .
- M.S. 1985, Computer Science,
Temple University, Philadelphia, PA
- Ph.D. 1989, Computer Science, University of North Carolina at Chapel Hill , Chapel Hill, NC
Research Interests
- Software Specification and Verification
-
Automated Theorem Proving
To see if I am logged on,
please click here.
Back
Page Maintained by nie@cs.twsu.edu