Office: Computer Science Building 358
Phone:
Website: https://mckennamccall.github.io
Google Scholar: https://scholar.google.com/citations?user=tHkGfyAAAAAJ&hl=en&oi=ao
Education
- PhD Electrical and Computer Engineering, Carnegie Mellon University, 2023
- MS Electrical and Computer Engineering, Carnegie Mellon University, 2022
- BS Computer Science, Kansas State University, 2016
About
My research is at the intersection of formal methods and usable security. More specifically, I am interested in finding ways to help users (even ones without technical backgrounds) write policies and understand the theoretical guarantees these formal systems can provide.
