Michael Bar-Sinai

CTO, Provengo

Software engineer by training, with a mid-career PhD in formal methods and requirement modeling. Creating software of various qualities since about 1998, including production systems, online information systems, libraries, and open-source tools. Former data science toolsmith at Harvard’s IQSS. CTO and Co-Founder at Provengo, a start-up creating model-driven software engineering tools. Married, 3 kids, one dogs.