About

I am a researcher working in Formal Methods and Programming Languages. My broader background includes areas such as AI and Machine Learning, Computer Vision, Gesture Recognition, and Computer Security. I also bring over twenty years of industry experience across technical and business domains.

Research

I work in formal methods (using rigorous mathematical techniques to prove the correctness of computer programs) as a postdoctoral scholar at Tufts University. I hold a Ph.D. (Carnegie Mellon University), an M.S. in Computer Science, and a B.S. in Electrical Engineering. Full CV

Publications

See my publications on DBLP and Google Scholar. For patents, see my patent list.

Business

I founded Codeminders in 2004 and have been running it since, a consulting business helping startups build software products, now with a team of around 100 engineers. In 2016, we launched Digamma.ai, its AI and machine learning branch, focused on areas such as machine learning, natural language processing, and computer vision.

Personal

I was born in Ukraine and moved to the US in 1995. I have lived and worked in Silicon Valley since. Outside work, I enjoy literature, travelling, photography, and motorcycling.

Contact

I keep my business contacts organized via LinkedIn. I use Mastodon and my blog to write about technical matters.