Susan Older

Associate Professor, Department of Electrical Engineering and Computer Science
L.C. Smith College of Engineering and Computer Science, Syracuse University

Contact Information

Office: CST 4-181
Phone: 315-443-4679 (but you may find email more effective)
Fax: 315-443-2583

Mailing address: EECS Department, CST 4-206, Syracuse University, Syracuse, NY 13244

Research and Scholarship

My areas of scholarship include programming-language semantics, logics of programs, formal methods, and information-assurance and computer-science education.

I am particularly interested in the use of mathematics and logic to reason about complex program behavior, such as security and access control (my current work) or fairness and concurrency (my Ph.D. work at Carnegie Mellon University, long long ago). This theme threads through both my scholarly work and the courses that I teach.

Educational Activities

I am the program director for the Certificate of Advanced Study in Systems Assurance (CASSA).

Current and Recent Courses

Fall 2013: Spring 2013:
Last modified: Fri Aug 23 14:39:45 EDT 2013
Susan Older / sueo AT