VP of Formal Methods

Marcin has been working professionally in software development for more than 15 years.

After using Agda and Idris for personal projects, he became captivated by dependently typed languages and Homotopy Type Theory and has been using these technologies for the benefit of commercial projects Since 2018.

At MuKn Marcin is notably tasked with the implementation of the Formal Verification functionality of Glow, and the development of machine-checked proof of its properties, but his work also includes the development of other technologies in our own R&D lab.

Multiple Laureate of the Polish Physics Olympiad (2004,2005), Marcin has experience in many different fields ranging from Artificial Intelligence, Domain Specific Languages, and has also cofounded startups.

๐— ๐—ฎ๐—ฟ๐—ฐ๐—ถ๐—ป ๐—š๐—ฟ๐˜‡๐˜†๐—ฏ๐—ผ๐˜„๐˜€๐—ธ๐˜†