Gabriel Ryan

Senior Research Scientist at Microsoft

Cambridge, Massachusetts, 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
🎓
Top School
Gabriel Ryan is a Senior Research Scientist at Microsoft CoreAI in the Data & A.I. group with a decade of experience building AI-driven software engineering tools. He holds a PhD from Columbia, where his research blended program analysis, synthesis, and deep learning to automate and improve developer workflows. His internships at Microsoft Research and AWS A.I. Labs produced highly cited systems (e.g., TOGA) that substantially improved automated test generation and coverage, earning an ACM SIGSOFT Distinguished Paper Award. Gabriel’s background spans industrial-scale backend engineering, robotics SLAM, and security-oriented user behavior analytics, giving him rare depth across research and production systems. Based in Cambridge, MA, he focuses on making AI practically useful for developers by combining static analysis, transformers, and principled evaluation.
code10 years of coding experience
job6 years of employment as a software developer
bookBachelor of Science (BS) & Bachelor of Arts (BA) Engineering & Computer Science, Bachelor of Science (BS) & Bachelor of Arts (BA) Engineering & Computer Science at Swarthmore College
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Columbia Engineering
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (22)

crossword5
cas4
bengali4
jekyll3
algebra3
standard-library2
blas2
programming-language2
linear-algebra2
graph1
big-data1
machine-learning1
analytics1
security1
trackpad1

Programming languages (4)

OCamlJavaScriptHTMLPython

Github contributions (5)

github-logo-circle
dns43/MC-Lite

Nov 2018 - Dec 2018

A lightweight linear algebra language compiler
Contributions:87 commits, 6 PRs, 58 pushes in 1 month
crosswordlinear-algebralinearstandard-librarycompiler
gryan11/resume

Dec 2018 - Dec 2023

Contributions:41 pushes in 5 years
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
Gabriel Ryan - Senior Research Scientist at Microsoft