Susan Older
Associate Professor, Department of
Electrical Engineering and Computer Science
L.C. Smith College of Engineering and
Computer Science, Syracuse University
Office: CST 3-179
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
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.
I am the program director for the Certificate of Advanced Study in
Systems Assurance (CASSA).
Current and Recent Courses
Fall 2010:
- CIS 275:
Introduction to Discrete Mathematics
- CIS 632:
Modeling Concurrent Systems
Spring 2009:
- CIS 252
Introduction to Computer Science
Last modified: Wed 11 Aug 2010
Susan Older / sueo AT ecs.syr.edu