Date: Mon, 25 Nov 1996 23:29:55 GMT
Server: Apache/1.0.3
Content-type: text/html
Content-length: 1940
Last-modified: Tue, 17 Sep 1996 20:40:00 GMT
Home Page for Xumin Nie
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