Profile photo


I am a researcher with a focus on Formal Methods and Programming Languages. Over a career spanning twenty years in the industry, I've garnered a comprehensive understanding of both the technical and business facets of technology. While my core expertise lies in Formal Methods and Programming Languages, my academic interests are diverse and also include areas such as Machine Learning, Computer Vision, Gesture Recognition, and Computer Security.


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.



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.

Since 2016, 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.


Born in Ukraine, I moved to the US in 1995 and have been living and working in Silicon Valley ever since. I've been fortunate to find a job I love, and it feels less like work and more like passion. Outside of my professional endeavours, I enjoy literature, travelling, photography, and motorcycling.


My contact information is below. I keep my business contacts organized via LinkedIn. I use Mastodon and my blog to write about technical matters.