Generally, I am interested in analyzing security risks of systems (ranging from deep neural networks to space satellites). I also have an interest in program analysis, fuzzing, and formal verification. You can learn more about my current research projects over at our group’s homepage.
Previously, I interned at the Air Force Research Laboratory Information Directorate and MIT Lincoln Laboratory on various security research projects.
From time to time, I play CTFs with RPISEC.