I’m a PhD candidate at NDS2 lab, advised by Prof. Cristina Nita-Rotaru. My current research focuses on Network Security and Formal Verification. Previously, I also worked on Autonomous Vehicle Security and Differential Privacy algorithm implementations.