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

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 was previously president of the Computer Science Students Association.