Alyssa Byrnes
PhD Student


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

B.S., 2016, Mathematics and Computer Science, Tulane University

Office: 344 Brooks Building
Email: abyrnes1@cs.unc.edu

photo of me

I am currently a graduate student at The University of North Carolina at Chapel Hill. I work under the supervision of Dr. Cynthia Sturton.

My research interests include using Formal Methods and other mathematical tools to prove security and privacy properties of cyber-physical systems. I also participate in the multi-institution project VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems.


I am currently an officer for the Computer Science Students Association and a member of the Graduate Women in Computer Science group at UNC.