Marcin Grzybowski

Working professionally in software development for more than 15 years. After using Agda and Idris for personal projects, became captivated by dependently typed languages and Homotopy Type Theory. He is using dependently typed languages for the benefit of commercial projects Since 2018.

At MuKn Marcin is tasked with the implementation of the Formal Verification functionality of Glow, and the development of machine-checked proof of its properties.