Cynthia Sturton
Assistant Professor
Peter Thacher Grauer Fellow

Department of Computer Science
University of North Carolina at Chapel Hill
Chapel Hill, NC 27599-3175

Ph.D., University of California, Berkeley
M.S., University of California, Berkeley

Office: 354 Brooks Building
Tel: 919-590-6020

photo of me

My research is in computer security. My current work focuses on finding and preventing vulnerabilities in hardware designs using a combination of static analysis, model checking, and dynamic verification.

Some of my past work includes proving security properties of virtualization software by making traditional formal methods practical for these systems and verifying the correctness of a human--machine interface for an electronic voting machine.

I am currently hiring graduate students. If you are a current or prospective graduate student interested in joining my research group, email me or stop by my office and tell me a little about yourself.