Team

People

Leo de Moura (AWS)

Chief Architect, Co-Founder

Sebastian Ullrich

Head of Engineering, Co-Founder

Corinna Calhoun

Chief Operating Officer

Anne Baanen

Mathematical Research Engineer

Henrik Böving

Research Software Engineer

Joachim Breitner

Principal Research Software Engineer

David Thrane Christiansen

Senior Research Software Engineer

Johan Commelin

Senior Mathematical Research Engineer

Markus Himmel

Tech Lead

Marc Huisinga

Research Software Engineer

Mac Malone

Research Software Engineer

Kyle Miller

Research Software Engineer

Kim Morrison

Senior Research Software Engineer

Sofia Rodrigues

Research Software Engineer

Board of Directors

• Adam Marblestone (Convergent Research)

• Leo de Moura (Amazon Web Services)

• Jeremy Avigad (Carnegie Mellon University)

Strategic Advisory Board

• Simone Severini (Amazon Web Services)

• Alex Kontorovich (Rutgers University)

• Lars Bergstrom (Google)

• Leo de Moura (Amazon Web Services)

• Corinna Calhoun (Lean FRO)