Michael is a co-founder and Chief Architect at StarkWare.
He is a PhD candidate in CS at the Technion Israel Institute for Technology, where he focused on the development of practical systems for computational integrity in zero-knowledge, culminating in the development and implementation of the zk-STARK system. Michael has a BSc in Math (cum Laude) and an MSc in CS, both from the Technion. He has 14 years of software development experience, including at Intel and IBM Research Labs. Michael has worked on hardware acceleration, cryptographic algorithms, GPGPU, SDN, web development, and more.