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 engineer and a certified Amazon Web Services professional, with extensive knowledge on AWS services, Web security, distributed and parallel computing, and decentralized systems. He holds a Master of Mathematics degree in Computer Science from the University of Waterloo (Canada), where he worked on techniques for design exploration and optimization in satisfiability-related problems.
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.
Martinet Lee is a research engineer responsible for security auditing and protocol development. As an enthusiast in using technology to bring equality to humanity, Martinet studied both hardware and software security through his pursuit of two Master's degree: One in Computer Science, University of Waterloo, the other in Electronic Engineering, National Chiao Tung University. He has two patents in Side-channel analysis.
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.
Poming holds a PhD in Computer Science from NCTU, a top technical university in Taiwan where he has also taught as a lecturer. He has published over 20 papers on subjects including AI, Human-Computer Interaction, Intelligent Tutoring System and more. He holds two patents and has built automated bots to help with everything from cryptocurrency trading to teaching linear algebra.
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 helped build 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.
Kanghun has played critical roles bringing new innovative technologies to both Korea and the APAC region. Previously he led key international initiatives for companies such as Gemplus, Symbian and Canonical. He specializes in bringing new products to market, building out an ecosystem, and managing major accounts. He received his MBA from Brigham Young University and an MS in Computer Science from Inha University.