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
photo of me
Office: 354 Brooks Building
Tel: 919-590-6020

My research is in computer security with a focus on applying formal methods to verify system-level software. Currently, I am focusing on verifying security properties of virtualization software (hypervisors, CPU emulators), and am investigating ways to make the use of traditional formal methods practical for these systems.

I also work in hardware security with a focus on designing algorithms for detecting malicious hardware designs.

In the past, I have worked on making electronic voting secure and practical.

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.


I am the faculty advsior for the undergraduate and graduate Women in Computer Science groups at UNC.

Program Committees