About
I am a technologist with a wide spectrum of interests varying from engineering and technology to computer science and math. With twenty years of experience, I have a deep understanding of technology as well as of business realities. I have a diverse academic background in Formal Methods, Machine Learning, Computer Vision, Gesture Recognition, and Computer Security.
Academic
I currently work on research in formal methods ( using rigorous mathematical techniques to prove the correctness of computer programs) as a Senior Research Associate at the University of Cambridge. I have a Ph.D. from Carnegie Mellon University, M.S. in Computer Science, and B.S. in Electrical Engineering.
Publications:
- Modular, Compositional, and Executable Formal Semantics for LLVM IR (ICFP 2021, preprint)
- Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX (VSTTE 2020)
- Research Report: Formally-Verified ASN.1 Protocol C-language Stack (LangSec 2020)
- Where's the Rock: Using Convolutional Neural Networks to Improve Land Cover Classification (Remote Sensing 2019)
- Reification of shallow-embedded DSLs in Coq with automated verification (CoqPL 2019)
- HELIX: A Case Study of a Formal Verification of High Performance Program Generation (FHPC 2018)
- Formal Verification of HCOL Rewriting (FMCAD 2015)
- Passive User Identification Using Sequential Analysis of Proximity Information in Touchscreen Usage Patterns (ICMU 2015)
- Barometric and GPS Altitude Sensor Fusion (ICASSP 2014)
- Home Temperature Sensor Network (2013 project report)
- RSS XML Schema Grammar Induction (2014 project report)
- Constructing an orthonormal set of eigenvectors for DFT matrix using Gramians and determinants (2012)
- 3D Finger Posture Detection and Gesture Recognition on Touch Surfaces (ICARCV 2012)
- HAMAKE: A Dataflow Approach to Data Processing in Hadoop (CLOSER 2012)
- Developement of simple motion detection algorithm using Mathematica (FPROG.RU, 2011, russian)
- Applying static code analysis to firewall policies for the purpose of anomaly detection (2009)
- Firewall Policy Modeling, Analysis and Simulation: a Survey (2008)
- Platform-Independent Firewall Policy Representation (2007)
- Using UsernameToken Authentication with Blogger and MetaWebLog APIs (2007)
- Enhanced "enclosures" support in RSS and ATOM Syndication (2004)
- "AccelKey" input method whitepaper (2006)
- Distributed builds with Rendezvous and DistCC (Dr. Dobb's Journal, 2004)
- Managing XML Documents Versions and Upgrades with XSLT (2001)
- (my patents)
Business
Since 2004, I have been running a consulting business helping startups to build innovative software products. We have a team of about 100 highly skilled engineers who are able to tackle any technical challenge. To learn more, please visit Codeminders website.
Digamma.ai is the artificial intelligence and machine learning branch of Codeminders. We have over a decade of experience in developing tailored AI solutions — including complex machine learning, natural language processing, and computer vision technologies — for entrepreneurs, startups, and Fortune 500 companies.
Personal
Born in Ukraine, I moved to the US in 1995. Since then, I have lived and worked in Silicon Valley. As the old adage goes “choose a job you love, and you will never have to work a day in your life,” and I am living it. Literature, travel, photography, and motorcycles are a few hobbies I enjoy outside of my work.
Contacts
My contact information is below. I keep my business contacts organized via LinkedIn. I use Mastodon and my blog to write about technical matters.
- Email lord@crocodile.org
- LinkedIn https://www.linkedin.com/in/vzaliva
- Mastodon @vzaliva@types.pl
- GitHub @vzaliva
- Technical Blog http://lambda-files.crocodile.org/