GeorgeĀ Tsoukalas
PhD Candidate
Summary
š¤©
RockstarGeorge 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
Github Skills (6)
in-progress10
mathematics8
computer-algebra-system7
theorem-proving7
math6
computer-algebra5
Programming languages (2)
Github contributions (5)
trishullab/PutnamBench
Jun 2024 - Mar 2025
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Contributions:135 reviews, 194 PRs, 232 pushes in 9 months
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.