Quantstamp Blog

Ed holds a Ph.D in Computer Science from the University of Waterloo. His research there was primarily in SAT/SMT solvers and formal verification technologies, with a focus on understanding what makes SAT formulas hard or easy for solvers. Before joining Quantstamp, he worked at Microsoft Research.

Blockchain technology is promising to revolutionize entire industries, but hacks and exploits of popular blockchain applications threaten to undermine it before it even takes off. Isn’t blockchain supposed to be secure? It’s not that simple.

Kacper holds a Ph.D. in Computer Science from the University of Waterloo for his work on modeling and analysis of software product lines. Before coming to Quantstamp, he worked at MathWorks (maker of MATLAB), Opera, and Samsung.

Quantstamp recently audited Edgeware, the first smart contract platform which plans to integrate with Polkadot, a blockchain interoperability platform. Built as a parachain of Polkadot, Edgeware is a WebAssembly (Wasm) runtime, high-performance, self-upgrading smart contract platform with on-chain governance. As an infrastructure project, Edgeware aims to address many of the shortcomings facing blockchain technology, including governance hurdles, developer accessibility, and token distribution challenges.

Jan is a Ph.D candidate at the University of Waterloo. His research interests include complexity theory, software verification and formal methods, discrete mathematics, and blockchain technologies. At Quantstamp, his role is to keep up with emerging technologies, assist in protocol design, and develop ideas with the engineering team.

Olga V. Mack is a strategist, nationally-recognized author, public speaker, and women’s advocate. As VP of Strategy at Quantstamp, her role is focused on moving the company towards its mission to achieve broader adoption of blockchain technology through smart contract security.