
Senior Software Engineer
Google
Feb 2020 - Present
• 2 yrs 7 mosBuilding next-generation threat detection systems.

Senior Software Engineer
Roblox
2018 - Feb 2020
• 2 yrs 2 mosBringing the world together through play.
Our group engineers core platform services, to enable feature teams to build their best work. I am:
- solving scaling challenges, particularly focusing on technologies for caching and sharding.
- supporting the transition to a microservice-based architecture.

Research Engineer
Cisco Systems, Inc.
Research engineer/threat intelligence analyst at Talos, Cisco's security intelligence and research unit.
Worked in a group that monitors threats and collects information about them. This information is used by Cisco products, and protects Cisco customers.
As a member of this group, I
• hunted for threats in Cisco's massive data sets, working with Hadoop ecosystem technologies, Apache Spark, Elasticsearch and Splunk
• analyzed potential malware using static and dynamic analysis techniques, and tools like IDA Pro
• contributed to software engineering efforts as needed

Graduate Research Student
Carnegie Mellon University
Formal Verification of Systems: Advised by Professor Edmund Clarke.
We used model checking and abstract interpretation to verify properties of hardware, software and hybrid systems:
• Studied efficient ways to extend dynamic symbolic execution (also known as concolic testing) to dynamic languages like Python, PHP, etc.
• Contributed to development of a QBF (quantified Boolean formula) solver.
Prior project: Diagnosis and Repair of Wireless Networks. Advised by Professor Srinivasan Seshan.
• Using software-defined radio and signal analysis methods, we developed a system to monitor and decode, in real time, packet transmissions of multiple protocols even when they are in simultaneous use. Used GNU Radio software with USRP FPGA hardware.

Software Engineer
Fidelity Business Services India
Software engineering assignment at Fidelity's Gurgaon office.
There I developed software projects for internal clients, monitored key customer-facing computer systems, and helped with onboarding of new employees. Most of our development involved Java, as well as K and Q (array processing languages popular in the financial sector).