# Saswat Anand

> Software Engineer @ Google

Location: Palo Alto, California, United States
Profile: https://flows.cv/saswat

Experienced builder of various types of industry-scale code analysis and code review systems. Currently, focused on integrating large language models in those systems.

Previously, I researched and published papers on topics such as program analysis, automated bug finding & testing.

## Work Experience
### Staff Software Engineer @ Google
Jan 2016 – Present | Moutain View, CA
** Current: Semantic code search to assist in security-focused code review. Received "Google Tech Impact" award.

** 2019-22. Founded a project to build a system to assess security and privacy risk posed by third-party SDKs across Playstore.  Received "Platform & Ecosystem excellence" award.

** 2016-19: Led development of a system that intelligently interacts with the UI of an Android app (without requiring its source code) to uncover different behaviors and bugs. Received "Feats of Engineering" award.

### Principal Engineer @ Quixey
Jan 2015 – Jan 2016 | Mountain View, CA
Led the development a system to automatically and intelligently interact with UI of Android apps to discover of deep links, which were used in a search engine for searching inside contents of apps.

### Co-founder @ Stamp Labs
Jan 2013 – Jan 2015
Cofounders: Prof. Alex Aiken, Prof. John Mitchell, Jason Franklin

Turned the IP developed in a DARPA-sponsored project at Stanford, "Android Program Analysis Tools", into a commercial product,  and helped license it to Quixey.

### Research Associate @ Stanford University
Jan 2012 – Jan 2015
As part of a DARPA-sponsored project, led the development of a suite of Android static & dynamic program analysis tools and techniques (e.g., whole-program static taint analysis, malware detection using semantic signatures) for identifying Android malware.

### Research Intern @ Microsoft
Jan 2007 – Jan 2007 | Redmond
Supervisors: Nikolai Tillmann and Patrice Godefroid

Developed and implemented a new algorithm to improve scalability of Pex (a tool for automated unit test generation for .NET using symbolic execution) for a certain class of programs.

### Research Intern @ NASA Ames Research Center
Jan 2006 – Jan 2006 | Mountain View
Supervisors: Willem Visser, Corina Pasareanu

Incorporated several constraint solvers into the symbolic execution component of Java Pathfinder (an open-source model checker for Java).

### Research Intern @ NASA Ames Research Center
Jan 2005 – Jan 2005 | Mountain View, CA
Supervisors: Willem Visser, Corina Pasareanu

Developed and implemented a new algorithm to improve the symbolic execution component of Java Pathfinder (an open-source model checker for Java) for a certain class of input programs.


## Education
### Doctor of Philosophy (Ph.D.) in Computer Science
Georgia Institute of Technology

### Master of Science (M.S.) in Computer Science
National University of Singapore

### Bachelor's degree in Computer Science
National Institute of Technology Rourkela


## Contact & Social
- LinkedIn: https://linkedin.com/in/saswatanand
- Portfolio: http://www.cs.stanford.edu/~saswat

---
Source: https://flows.cv/saswat
JSON Resume: https://flows.cv/saswat/resume.json
Last updated: 2026-04-12