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


Research Interests

  1. Software Specification and Verification
  2. Automated Theorem Proving

To see if I am logged on, please click here.

Back
Page Maintained by nie@cs.twsu.edu