Professor of Computer Science

Teching Interests

Classes I like to teach are progressive and exhibit conceptual integrity, i.e., a unifying theme or vision.  I believe that interesting homework assignments and personal attention are the keys to a quality education.  Subjects I enjoyed teaching include:

Software engineering
Mobile computing
Models of concurrency
Distributed and concurrent algorithms
Formal verification
Programming systems and languages

Farris Engineering
Center, Room 301G
Ph: (505) 277-6967
Fax: (505) 277-6927
Faculty page