About
I am an engineer in the infrastructure security team. I have both foundational and applied research interests. Foundational topics I have studied include automata theory, logic, program analysis and the connections between these three. I currently work on digital forensics and data visualization.
Research Areas
Learn more about how we do research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work