Eleftherios Ioannidis
Senior Research Software Engineer at Microsoft
Redmond, Washington, United States
Summary
👤
Senior🎓
Top SchoolEleftherios Ioannidis is a Senior Research Software Engineer at Microsoft Research’s RiSE group with 13 years of experience building large-scale, verifiable systems that blend program verification and cryptographic proofs. He specializes in formal verification, static analysis, and systems correctness using tools like Coq, Z3, and F*, and explores AI-assisted proof synthesis—summed up on GitHub as "Making AI write proofs about programs." His background spans academia and industry, from a PhD in Computer Science at UPenn and verified compiler work at MIT CSAIL to production security and high-throughput services at Apple, UnifyID, and Bridgewater. He has practical impacts—designing type systems at AWS Cedar, improving trade-generation performance by 4x, and shipping 20+ microservices for real-time ML—showing a rare ability to move formal methods into production. Colleagues rely on him to bridge deep theoretical rigor with engineering pragmatism, especially in applying proof techniques to real-world reliability, security, and privacy challenges.
13 years of coding experience
4 years of employment as a software developer
Master of Engineering - MEng Computer Programming Specific Applications, Master of Engineering - MEng Computer Programming Specific Applications at Massachusetts Institute of TechnologyDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Pennsylvania
English, French, Greek
Github Skills (200)
minecraft10
python10
mathematical10
intermediate10
deep-learning10
proofs10
electron10
tensorflow10
klee10
machine-learning10
editor9
dependent-types9
ml9
coq9
neural-network9
Programming languages (20)
Github contributions (5)
elefthei/WebTorch
Sep 2017 - Sep 2018
Contributions:24 commits, 6 PRs, 27 pushes in 1 year
deep-learningmachine-learningscaletensorflowweb-scale
elefthei/elefthei.github.io
Apr 2017 - May 2022
Contributions:43 pushes, 1 branch in 5 years 1 month
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.