Philip Choi
Senior Software Engineer at Google
San Francisco Bay Area United States
Summary
👤
Senior🎓
Top SchoolPhilip Choi is a Senior Software Engineer at Google with six years of industry experience focused on program analysis, verification, and testing to boost developer productivity and Android security. He combines deep theoretical grounding in programming languages—types and semantics—from his PhD studies with practical research experience gained through multiple industry internships and roles. At Google he has transitioned from research intern to senior engineer, developing static and dynamic analysis techniques rather than building consumer apps. Based in the San Francisco Bay Area, he brings a research-first mindset to production problems and prefers opportunities aligned with program analysis and language semantics over general app development.
6 years of coding experience
4 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Seoul National UniversityDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at UC Berkeley
Korean, English, Japanese
Github Skills (16)
react2
flutter2
transcription2
audio1
pdf1
js1
app-platform1
speech-recognition1
speech-synthesis1
audio-recording1
speech1
cross-platform1
nextjs1
speech-processing1
speech-to-text1
Programming languages (3)
Github contributions (5)
miphc42/Android-Development
Aug 2019 - Aug 2019
Contributions:51 pushes, 1 branch in 25 days
miphc42/LED-RemoteControl
Nov 2019 - Dec 2020
Contributions:4 pushes in 1 year 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.