Vadim Zaliva
Saratoga, California, United States
Summary
👤
SeniorVadim 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
Github Skills (200)
gmail10
cpp10
operator10
opam10
package-repository10
pdf-viewer10
ispc10
assembly10
weather-api10
daemon10
completions10
python10
automatic-license-plate-recognition10
icloud10
haskell10
Programming languages (22)
Github contributions (5)
vzaliva/vellvm
Jul 2017 - Jul 2020
The Vellvm II coq development.
Contributions:2 PRs, 58 pushes, 21 branches in 3 years
coq
vzaliva/scripts_and_configs
Nov 2016 - Dec 2022
Personal scripts and config files
Contributions:304 commits, 313 pushes, 1 branch in 6 years 1 month
bashconfigdotfilesshellconfig-files
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.