Alex Polozov

New York, New York, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
Alex Polozov is a research-driven software engineer and Member of Technical Staff with 11 years of experience building generative AI for software engineering, currently focused on asynchronous coding agents and developer-facing code models. He has led research and engineering efforts at Google DeepMind, Google, Microsoft, X, and Reflection AI, contributing to projects like Jules, Gemini pretraining, and Code Tips that reached millions of developers. A Ph.D. from the University of Washington, Alex’s academic work in program synthesis and programming-by-example underpins practical product innovations such as PROSE-powered features across Microsoft products. He publishes across ML, PL, NLP, and HCI venues (NeurIPS, ICLR, OOPSLA, ACL) and combines rigorous evaluation of agentic coding LLMs with production-quality engineering. Notably, he pairs deep theoretical expertise with hands-on impact—optimizing code data quality for large-scale pretraining while shipping interactive tools used in IDEs and cloud notebooks. Based in New York, he enjoys practical research that immediately translates into products used by millions of developers.
code11 years of coding experience
github-logo-circle

Github Skills (127)

synthesis10
data-transformation10
code-analysis10
visual-studio10
sample-data10
prose10
roslyn10
dotnet10
latex10
sdk10
playfab10
data-wrangling10
monorepo10
question-answering10
csharp10

Programming languages (13)

C#JavaC++RustTeXHTMLJupyter NotebookJsonnet

Github contributions (5)

github-logo-circle
microsoft/rat-sql

May 2020 - Jun 2021

A relation-aware semantic parsing model from English to SQL
Contributions:2 reviews, 12 commits, 5 PRs in 1 year 1 month
semantic-parsingsqlprogram-synthesisnlpquestion-answering
apskim/prose

Jan 2017 - May 2017

Contributions:2 PRs, 4 pushes, 1 comment in 4 months
input-outputsample-datatechnologiessynthesissdk
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.
Request Free Trial