Raymond D. Gumb

Professor of Computer Science

Contents

• Contact Information
• Recent Courses
• Research and Scholarship

Contact Information

• Email: gumb@cs.uml.edu
• Web address: http://www.cs.uml.edu/~gumb
• Office: Engineering 412
• Phone: (978) 934-3619
• Fax: (509) 351-0587
• Class Schedule:
  • 91.301 MWF 11:30 AM - 12:20 PM
  • 91.304 MWF 12:30 PM - 1:20 PM
• Office Hours: MWF 9:00 - 10:00 AM (to 10:40 4/1-4/12)
• US Mail: Department of Computer Science, University of Massachusetts, Lowell, MA 01854

Back to top

Recent Courses

• Organization of Programming Languages: 91.301.
• Foundations of Computer Science: 91.304.
• Foundations of Computer Science: 91.502. (Spring 2000)
• Symbolic Logic: 45.330, 91.330, and 92.330. (Fall 2001)

Back to top

Research and Scholarship

• Research Interests: Logic, program correctness, and artificial intelligence.
• Current Project: Logics for lazy programming languages with partial functions.
• List of Publications.

Back to top