Dimitrios Vytiniotis
Research Scientist at DeepMind
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDimitrios Vytiniotis is a research scientist with 11 years of experience at the intersection of programming languages, type systems, DSLs and ML-driven systems, currently researching at DeepMind in Cambridge. His background includes a PhD in Computer Science and a long tenure at Microsoft where he led projects such as a rewrite of GHC's type inference engine, bytecode slicing for MapReduce optimization, DSL work (Ziria) and verification of neural network robustness. He thrives on hard, cross-disciplinary problems and brings both deep theoretical knowledge and practical implementation experience across runtimes and compilers. Based in the UK, he blends academic rigor with production-aware research, often tackling verification and performance challenges that sit between PL theory and large-scale systems.
11 years of coding experience
10 years of employment as a software developer
Bachelor's degree, Electrical and Computer Engineering, Bachelor's degree, Electrical and Computer Engineering at National Technical University of AthensDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Pennsylvania
English, Greek, French, German
Github Skills (32)
python10
data-science10
machine-learning10
ml10
deep-learning10
tensorflow10
deep-neural-networks10
neural-network10
low-level8
hackage6
bitstream6
ghc5
gpu5
emacs5
automatic-differentiation5
Programming languages (3)
Github contributions (5)
dimitriv/dimitriv.github.io
Jun 2019 - Jun 2021
Contributions:10 pushes, 1 branch in 2 years
dimitriv/Ziria
Jan 2015 - Jan 2016
Contributions:282 pushes, 13 branches, 1 tag in 1 year
compilerbitstreamdomaindomain-specificprogramming-language
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.