George Tsoukalas
Senior Research Scientist at Google DeepMind
Austin, Texas, United States
Summary
🤩
Rockstar🎓
Top SchoolGeorge Tsoukalas is a PhD candidate and software engineer with four years of experience, currently pursuing research at UT Austin. He blends academic rigor with practical development skills, focusing on turning research ideas into reproducible code and experiments. Although early in his career, he has demonstrated commitment to open science through his GitHub presence tied to his doctoral work. Based in the United States, he brings a research-first mindset that accelerates prototyping and data-driven solutions. Peers would describe him as methodical, curious, and adept at bridging theory and applied software engineering.
4 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of Texas at AustinBachelor of Science, Mathematics and Computer Science, Bachelor of Science, Mathematics and Computer Science at Rutgers University–New Brunswick
English, Bulgarian
Github Skills (7)
formal-languages9
coq9
math-library8
generic-interface2
theorem-proving1
mlmodel1
ai1
Programming languages (2)
Github contributions (5)
trishullab/PutnamBench
Jun 2024 - Jul 2026
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Contributions:147 reviews, 214 PRs, 269 pushes in 2 years 1 month
coq
GeorgeTsoukalas/OthelloBot
Feb 2022 - Oct 2022
Contributions:35 pushes, 1 branch in 8 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.