Mailing address: EECS Department, CST 2-177, Syracuse University, Syracuse, NY 13244
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 also the PI for the Scholarship for Service (Federal Cyber Service) program at Syracuse University. This program, funded by the National Science Foundation and the Department of Homeland Security, provides scholarships to students studying Information Assurance and related topics.