Patrick Rondon

Experience

Google

Tech Lead/Manager (TLM), Developer AI Research

Research and build AI-based developer tools.

Tech Lead/Manager (TLM), Speech Contextual Modeling

Improve speech recognition accuracy across surfaces using non-speech context, e.g., contact names.

Tech Lead, Search Serving

Create and extend APIs for accessing structured knowledge bases in search and other products.

Software Engineer, Crawler

Optimize crawling and indexing with new approach to predicting which URLs lead to identical content.

Education

Ph.D., Computer Science

University of California, San Diego

Title Liquid Types
Supervisor Ranjit Jhala

A novel approach to software verification through refinement type inference for C and OCaml.

2012

M.S., Computer Science

University of California, San Diego

2009

B.S., Computer Science

Pennsylvania State University

2006

Skills

DomainsAutomated Speech Recognition, Type Systems, Program Analysis
LanguagesPython, C++, OCaml
GeneralEngineering Management, Technical Writing

See Also

Google ScholarPublications in speech recognition and type inference
SynshProgram synthesis for UNIX shell pipelines