Georgios Sakkas
Software Engineer at Google
San Diego, California, United States
Summary
👤
Senior🎓
Top SchoolGeorgios Sakkas is a software engineer and recent PhD graduate in Computer Science (UCSD) now building GPU VM reliability at Google Cloud, bringing nine years of experience across research and industry. His PhD work in programming languages focused on neurosymbolic program repair and synthesis, combining formal methods with modern LLM-driven code tools. He has honed applied research skills through internships at Microsoft, AWS, and Bloomberg, contributing to interactive code generation, taint-aware static analysis, and automated refactoring for legacy code. Comfortable moving between theory and production, he has implemented static-analysis extensions, control-flow refactoring tools, and semantics work on concurrency during his earlier research. Based in Seattle, he blends academic rigor with cloud-scale engineering, uniquely positioning him to turn program-analysis research into practical developer-facing systems.
9 years of coding experience
8 years of employment as a software developer
University of California, San DiegoMaster of Engineering - MEng, Electrical and Computer Engineering, Master of Engineering - MEng, Electrical and Computer Engineering at National Technical University of Athens
Greek, English, German
Github Skills (17)
repair10
type-error10
compression8
pytorch7
machine-learning7
gpu7
optimization7
deep-learning6
mixture-of-experts6
inference6
deepspeed3
distributed-training3
blame3
data-parallelism2
python1
Programming languages (4)
Github contributions (5)
gsakkas/seq2parse
Oct 2021 - Jan 2023
Contributions:1 release, 149 commits, 31 pushes in 1 year 3 months
gsakkas/code-jam
Mar 2017 - May 2018
Contributions:26 pushes, 1 branch in 1 year 2 months
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.