Recent News

Celebrating Cleve Moler’s impact at UNM and beyond
November 2, 2026

Assistant Professor position
October 6, 2026

Six UNM faculty promoted to distinguished professors
July 21, 2026

School of Engineering faculty awarded 5 NSF CAREERs
June 22, 2026

News Archives

UNM
>Home
>News
>2004
>November

November News

Automatic Generation of Loop Invariants
November 23, 2004

Exploring Grand Challenges in Trustworthy Computing
November 15, 2004

Exploring Grand Challenges in Trustworthy Computing
November 15, 2004

Eugene Spafford: Exploring Grand Challenges in Trustworthy Computing
November 11, 2004

Technique and Tools for Developing Correct Large Programs and Running them Fast
November 11, 2004

Machine Learning at UNM and Abroad
November 9, 2004

Contact Info:

(505) 277-3112 (phone)
(505) 277-6927 (fax)

Technical help:
cssupport@cs.unm.edu

All other questions:
csinfo@cs.unm.edu

The CS office hours 8 AM to 5 PM closed from 12 to 1PM for lunch.

Location:

Physical Location:
Farris Engineering Center
1901 Redondo
MSC01 1130
Suite 2200
Albuquerque, NM 87131

Mailing Address:
University of New Mexico
Department of Computer Science
MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001

SOE Links

School of Engineering

Useful Links

© The University of New Mexico, Albuquerque, NM 87131, (505) 277-0111
New Mexico's Flagship University