Jan is currently a technical lead at Zircuit, where he aims aim to scale Ethereum securely through research. Prior to that, he worked in web3 security. Jan completed his PhD at the University of Waterloo in graph algorithms, and has an interest in formal methods and complexity theory.