CAST 2025 Speaker: Michael Bar-Sinai
Day 1 Track Session
Michael Bar-Sinai
CTO @ Provengo Technologies (TechStars TLV 2022) | PhD Software Engineering | Harvard IQSS Fellow
Software engineer by training, with a mid-career PhD in formal methods and requirement modeling.
Created software of various qualities since about 1998, including production systems, online information systems, code libraries, and open-source tools. Learned the hard way that "various qualities" doesn't really cut it when it comes to software systems that matter.
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, 1 puppy, makes bread sometimes.