Gergely Várhelyi-tóth
Advanced Technology Scientist at TÜV Rheinland Group
Budapest, Hungary
Summary
👤
Senior🎓
Top SchoolGergely Várhelyi-tóth is an Advanced Technology Scientist and founder with 10 years of experience at the intersection of formal methods, machine learning, and safety-critical automotive software. He currently leads efforts to formally verify neural networks for ASPICE and ASIL compliance while applying topology and higher-dimensional algebra to strengthen model robustness. As co-founder and former CTO/CEO of roboGaze and founder of ENKAIDU, he blends deep research with product-focused engineering, from AI model development to CI and deployment. His background in mathematics and computer engineering underpins a rare combination of theoretical rigor and hands-on system delivery. Based in Budapest, he brings entrepreneurial drive and a knack for turning abstract mathematical ideas into practical safety solutions.
10 years of coding experience
9 years of employment as a software developer
Mathematics, Mathematics at Budapest University of Technology and Economics
English, German, Hungarian
Stackoverflow
41reputation
2kreached
1answer
1question
Github Skills (20)
pytorch10
mixture-of-experts10
machine-learning10
inference10
data-parallelism10
deepspeed10
deep-learning10
gpu10
compression10
optimization10
distributed-training9
csharp7
php7
python7
cpp7
Programming languages (3)
Github contributions (5)
tgergo1/tgergo1.github.io
Aug 2015 - Sep 2024
Contributions:42 pushes in 9 years 3 months
tgergo1/tgergo1
Oct 2022 - Sep 2024
Contributions:3 pushes, 1 branch in 1 year 11 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.