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.