Quantstamp Blog

Quantstamp Announcements

Meet the Authors: Ed Zulkoski

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.

Quantstamp Announcements
May 29, 2019

Meet the Authors: Kacper Bąk

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 Announcements
May 23, 2019

Quantstamp Audits Polkadot’s First Smart Contract Platform: Edgeware

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.

Quantstamp Announcements
May 21, 2019

Meet the Authors: Jan Gorzny

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.

Quantstamp Announcements
May 15, 2019

Meet the Authors: Olga Mack

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.

Quantstamp Announcements
May 8, 2019

Quantstamp Community Update April 2019

New hires, hackathons, winning the Smart Dubai Global Blockchain Challenge - a lot has been happening at Quantstamp.

Quantstamp Announcements
April 30, 2019