About Me

Hi! My name is Ashley, and I’m a senior at NYU Shanghai majoring in Computer Science and minoring in Cybersecurity and Data Science. I’m interested in security, software engineering, and formal methods. In particular, my research focuses on answering the questions:

How do we ensure security, consistency, or correctness in dynamic and modular systems?