My name is Matej Penciak, and I am currently a software engineer at Lurk Lab where I’m helping build the tools for a safe and trusted decentralized web.
I’m interested in formal verification, proof formalization, and how they interact.
Before this I was a research mathematician interested in algebraic geometry, and integrable systems. I still like to dabble in the field.
Check out my up to date CV and all the projects I’ve been thinking about.
Where I've worked
- Software Engineer at Lurk Lab.
May 2022 - Now - Zelevinsky Postdoctoral Fellow at Northeastern University.
Aug. 2019 - May 2022 - TA and RA at University of Illinois at Urbana Champaign
Aug. 2012 - May 2019