Shaun H. Cooper
2040 Guthrie Place
Las Cruces, NM 88001

Education

Ph.D. program in Computer Science, New Mexico State University,

Fall 1993 - Current, GPA 4.0. Research interests in networking and distributed computing. Expected Graduation: Spring 2000

M.S. Computer Science (Philosophy minor), University of Texas,

Austin, Texas, 1988, GPA 3.6. All course work completed except Ph.D. thesis. Emphasis on Automated Theorem Proving using Analogical Reasoning

B.S. Computer Science (Mathematics minor), University of New Mexico,

Albuquerque, New Mexico, 1984, GPA 3.8.

Languages

Operating Systems

Professional Experience

UNIX Consultant -- Aug 1989 - Current.

Perform various UNIX consulting tasks as needed.

Assistant Director, Technology Access Services, Computing and Networking

New Mexico State University, July 1996 - Current. Provide management for Scholarly Technology, Information Center, Advanced Network Services, and Visualization. Develop plans for campus wide access to electronic registration, grades. Develop plans for data security.

Manager Visualization Center -- New Mexico State University

Computing and Networking, July 1993 - July 1996. Manage visualization support group for researchers at NMSU. Provide educational training in networking and programming languages. Manage various network services including SMTP sendmail, NNTP news, DNS, etc.

Visualization Analyst -- New Mexico State University Computer

Center, July 1990 - July 1993. Provide visualization support for NMSU researchers. Establish a visualization laboratory. Manage Workstation Support Activities.

Workstation Support Analyst -- New Mexico State University

Computer Center, Aug 1989 - July 1990. System administration of SUN, DEC workstations, VAX 11/750, etc (approximately 50 machines in 10 different environments). Creation of Backup routines using AWK and Shell (including a language to describe backups). Socket based table updates for all UNIX machines on campus.

Systems Programmer -- New Mexico State University Computer Center,

Sep 1988 - Aug 1989. UNIX and VMS Administrator. Maintain and install system software. Create programs (C and Shell) for printers, accounting, etc.

Research Assistant--Department of Computer Science, University of

Texas, Austin, Texas 78713 (Sep 1986 -- May 1988). Research work in the use of analogy in Automated Theorem Proving. Supervisor: Dr. W.W. Bledsoe

Pre-professional Programmer--IBM, Santa Teresa Laboratory, San Jose,

California 95150. Helped write internal document for the IBM FORTRAN compiler using VM/CMS. (Jun 1984 -- Aug 1984)

University Committees

NMSU ID Card Committee: Investigate the applicability of new card technologies to NMSU

NMSU NCA Sub-committee: Vice Preseident for Student Affairs Group 3, Chair

NMSU Strategic Planning Sub-committee: Economic and Technological

Activities

Publications

Brock, B., Cooper, S. and Pierce, W., "Some Experiments with Analogy in Proof Discovery (Preliminary Report)," MCC Tech. Report AI-347-86, October 1986.

Brock, B., Cooper, S. and Pierce, W., "Analogy and Proof Discovery," Proceedings of the 9th International Conference on Automated Deduction, May 1988.

Cooper, S. and Teller, P., `` Configuring a Large LAN for TCP/IP, Appletalk, and IPX," Proceedings, 20th Conference on Local Computer Networks, October, 1995.

Presentations

New Mexico Council of Higher Education Computing Services, Fall 1991, "Visualization at New Mexico State University", Outstanding presentation

Libraries on the Electronic Frontier, "Security of the Information Super Highway", August 1994.

New Mexico Council of Higher Education Computing Services, Fall 1994, "Networking Nuts and Bolts".

Regional Librarians Conference, "Computer Ethics on the Internet" (October 29, 1994)

Educational Presentations

Basic C, Basic, UNIX, SCCS, IPC in UNIX, RPC in UNIX; Physical Science Labs, Fall 1992.

Networking concepts and NMSU connectivity; internal training classes for NMSU staff; Fall 1992 - Spring 1993.

Networking concepts; presented to the Student chapter of ACM, Spring 1994.

C and C++ programming, Army Research Labs, WSMR, August 1994.

Introduction to the Internet, Academy of Retirement and Learning, Dona Ana Branch, NMSU. September 1994.

Networking Details, DIOM/WSMR. Covers Ethernet, Appletalk, IP, Decnet, routing and routers, diagnostics of network problems, etc. October 1994.

Networking Nuts and Bolts, Council on Higher Education Computing Services, October 27, 1994, Silver City, NM.

Ethical Issues and the Internet, Border Regional Library Association,

October 29, 1994, El Paso Community College, El Paso, Texas.

The Internet and You, NMSU chapter of IEEE Winter Banquet, keynote address, November 4, 1994, Las Cruces, NM.

Guest lecturer, ET, November 7, 1994. Network Layer, how IP works. NMSU, Las Cruces, NM.

Guest lecturer, Criminal Justice, Fall, 1997. Computer security issues. NMSU, Las Cruces, NM.