
معرفی
Susan Older is an Associate Professor in the Department of Electrical Engineering and Computer Science at Syracuse University, affiliated with L.C. Smith College of Engineering and Computer Science. She serves as the Undergraduate Program Director for Computer Science and directs the Certificate of Advanced Study in Systems Assurance (CASSA) program. Her research focuses on formal methods for cyber security, access control logics, and concurrency theory.
Education: B.S. in Computer Science from Washington University and Ph.D. in Pure & Applied Logic from Carnegie Mellon University. Her academic background emphasizes theoretical foundations of computer science and security.
Research interests include development of mathematical models for reasoning about complex system behaviors such as concurrency and security. Key areas include access control policies, formal verification, and technology transfer through education. She collaborates extensively with Shiu-Kai Chin on logical approaches to security assurance.
Recent publications emphasize application of formal methods in education and cyber security protocol analysis. Teaching includes graduate-level courses like Principles of Distributed Access Control and undergraduate courses in discrete mathematics and programming languages.
Susan Older در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Shiu-Kai ChinSyracuse University · استاد
Farzaneh DerakhshanIllinois Institute of Technology · استادیار
Scott SmolkaStony Brook University · استاد
Farzaneh DerakhshanMax Planck Institute for Software Systems · استادیار- CChristian JohansenNorwegian University of Science and Technology · استاد
Robert Y. LewisBrown University · مدرس