Vadim Zaliva
Postdoctoral Scholar at Tufts University
Saratoga, California, United States
Summary
👤
Senior🎓
Top SchoolVadim Zaliva is a research-driven software engineer and entrepreneur with 28 years of experience, combining deep expertise in Formal Methods and Programming Languages with two decades of industry leadership as CEO and chief architect. Currently a Postdoctoral Scholar at Tufts and founder/CEO of Digamma.ai and Codeminders, he bridges rigorous academic research (Ph.D. ECE, Carnegie Mellon) with practical product and business sensibilities. His work spans adjacent fields including machine learning, computer vision, gesture recognition, and security, reflecting a multidisciplinary approach to building dependable systems. Vadim’s career blends hands-on architecture roles from early Unix labs to CTO positions with sustained research appointments at Cambridge, showing a rare mix of systems-level engineering and formal verification scholarship. Based in Saratoga, CA, he is known for translating formal theory into pragmatic solutions for real-world software and for sustaining long-term technical ventures while maintaining active academic inquiry.
28 years of coding experience
15 years of employment as a software developer
MS Computer Science, MS Computer Science at Colorado State UniversityBachelor Software Engineering, Bachelor Software Engineering at Ukraine State Academy of Light IndustryAssociate Electrical Engineering, Associate Electrical Engineering at Kiev College of Radio ElectronicsPh.D. ECE, Ph.D. ECE at Carnegie Mellon University
English, Ukrainian
Github Skills (200)
gmail10
cpp10
operator10
opam10
dependent-types10
proofs10
browser10
package-repository10
ispc10
package-manager10
assembly10
weather-api10
daemon10
completions10
python10
Programming languages (18)
Github contributions (5)
vzaliva/helix
May 2015 - Jan 2023
Formally verified operator language and rewriting engine for high-performance computing
Contributions:4 reviews, 4126 commits, 9 PRs in 7 years 9 months
verifiedtheorem-provinghigh-performance-computingrewritingoperator
vzaliva/vellvm
Jul 2017 - Jul 2020
The Vellvm II coq development.
Contributions:2 PRs, 58 pushes, 21 branches in 3 years
coq
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.