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.
Senior Research Engineer Leonardo has a Ph.D in Electrical and Computer Engineering from the University of Waterloo for his work on mining patterns from the Linux kernel source code and other systems. He is a Microsoft research competition medalist, with industry experience in backend development, compilers, and scalable data pipelines.
Kacper is an expert in software modeling and verification. He received 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.
Alex is a full-stack software engineer with advanced knowledge of Amazon Web Services and cloud computing security. He also has experience in designing and implementing distributed systems and serverless computing architectures.
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.
Martin holds a Ph.D in Computer Science from the University of Waterloo. He also studied at Brock University, McMaster University, Masaryk University in the Czech Republic, and has additional degrees from some of these. He is former Vanier Scholar and a brief NSERC post-doctoral fellow at Carleton University.
Sebastian holds a Ph.D in software security from the Technical University of Munich. His research spans across several areas of computer security such as reverse engineering, malware detection, software protection and privacy. Before joining Quantstamp, Sebastian worked as security specialist at BMW.
Yohei is a full stack engineer with experience working at both startups and larger tech companies. Most recently, Yohei was in Seattle working on Amazon Go. Yohei got involved with blockchain through arbitrage and bot-trading and is now a big believer in the future of smart contracts. Yohei loves gourmet dining.
Steven Stewart is Co-founder and Technical Fellow at Quantstamp. Previously, he has worked as a Software Engineer and Computer Systems Analyst at the Canadian Department of National Defense. He also co-founded GPU computing startup Many Trees Inc., and has worked as a Software Developer at Magnetic Forensics.
Richard Ma is a former software engineer at Tower Research where he developed software that handled millions of dollars using extreme testing methods. He was inspired to found Quantstamp after investing in the DAO and experiencing the aftermath firsthand. Richard aims to secure the future of blockchain technology through the Quantstamp protocol.
Don is an investor and entrepreneur with global perspectives and cross-functional experiences supporting investments, product and growth. Don previously worked at IDG Ventures and PNP Ventures where he helped launch Nexla, Ayasdi, and the Los Angeles Football Club.
Krishna has a multidisciplinary background in product and business development. He previously worked on AR and web projects for Microsoft and TELUS, after which he became an early adopter of Ethereum and built Ethereum Vancouver, a 2400 strong community. Krishna is an advisor and angel investor at Incrypt, a venture launcher with over 15 portfolio companies that are building the future distributed web.
Kei leads Quantstamp’s business in Japan and Asia-Pacific. Before Quantstamp, Kei spent 16 years working as a macro rates trader at Goldman Sachs in London and Tokyo. Kei loves thinking about macro trends and sees blockchain as the future of money. He received his Masters in Economics from the University of Cambridge.