Tomas Balyo
Head Of Research at Filuta AI
Karlsruhe, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolTomas Balyo is a Head of Research with a decade of experience bridging deep academic research and practical AI product development, currently leading a compact team at Filuta AI in Karlsruhe. He holds a PhD in Computer Science and progressed from postdoctoral research and university teaching to industry roles, blending formal methods, satisfiability/planning expertise, and hands-on software engineering. Tomas has moved between Java development and cutting-edge AI research, demonstrating an unusual dual fluency in production engineering and theoretical problem solving. Colleagues know him for pragmatic, clever approaches—self-described as a "conjurer of cheap tricks"—that turn complex concepts into deliverable innovations.
10 years of coding experience
10 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Charles University in PragueMaster of Science (MSc), Computer Science, Master of Science (MSc), Computer Science at Univerzita Karlova v Praze
English, Hungarian, Slovak, Czech, German
Github Skills (21)
satisfiability10
sat10
abstract-syntax-tree9
grammars9
api9
cpp8
sat-solver8
grammar8
parser-generator8
antlr7
boolean6
solver6
planning5
metaprogramming4
game-development3
Programming languages (6)
Github contributions (5)
biotomas/hordesat
Sep 2018 - Apr 2022
Contributions:7 commits, 4 PRs, 8 pushes in 3 years 7 months
biotomas/freelunch
Dec 2017 - Feb 2019
Contributions:3 commits, 44 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.