McKenna McCall

Assistant Professor

Office: Computer Science Building 358

Phone: 

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

Website: https://mckennamccall.github.io

Google Scholar: View Google Scholar Profile

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.