Georgios Sakkas
Software Engineer at Google
Seattle, Washington, 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.
10 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 (18)
classifier10
type-error10
parsing9
compression8
gpu6
machine-learning6
pytorch6
deep-learning5
inference5
blame5
mixture-of-experts4
deepspeed4
benchmarking2
distributed-training2
python2
Programming languages (5)
Github contributions (5)
gsakkas/seq2parse
Oct 2021 - Jan 2023
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
Contributions:1 release, 149 commits, 31 pushes in 1 year 3 months
classifierparsing
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.