Professor, Department of Electrical Engineering and Computer Science, Syracuse University, NY
USA

Susan Older is an Associate Professor in the Department of Electrical Engineering and Computer Science at Syracuse University, as well as the Education Director for the Systems Assurance Institute. Her research interests include the semantics of programming languages, concurrency theory, logics of programs, formal methods, and their collective use to support reasoning about complex system behavior.