One focused core team

 
 
 
jee.jpg

Jee Chung

With over 25+ years of industry experience, Mr. Chung has overseen data initiatives such as data warehousing, business intelligence, and real­-time data, most recently at GMO, LLC; previously he has held roles at State Street, Fidelity Investments, Ab Initio, and Goldman Sachs.

Eric+Daimler_Canopy_2.05.193013.jpg

ERic Daimler

Dr. Eric Daimler brings 25+ years of experience as an operational executive, entrepreneur, and investor. During the Obama Administration he supported the workflow for Artificial Intelligence in the Executive Office of the President.

Peter+Profile+Shot.jpg

Peter Gates

Dr. Peter Gates deep experience spanning various data integration and application development activities at firms including Johnson & Johnson and 3-Dimensional Pharmaceuticals Inc.

 
 
david%2Bspivak.jpg

David spivak

Dr. David Spivak has lead the pathbreaking work to bring Category Theory into practical application. As MIT Mathematics faculty, he continues to expand the uses of category theory to model information-bearing structures of all kinds.

 
Sara+Winkler.jpg

Sarah winkler

Dr. Sarah Winkler’s work ensures that enterprise systems are robust. With continued work on automated reasoning, she worked at Microsoft Research on SMT-based compiler validation.

Christina+Vasilakopoulou.jpg

Christina Vasilakopoulou

Dr. Christina Vasilakopoulou has built a reputation at MIT bringing Category Theory into everyday use. She received her PhD from University of Cambridge.

 
ryan.jpg

Ryan Wisnesky

Dr. Ryan Wisnesky architects innovative platforms for real-world industry solutions including contributions to IBM’s Clio and HIL data integration tools. He is a recognized authority in the application of Category Theory to query language design.

Laurel+Weber

Laurel WEber

Laurel Weber has a passion for making pure mathematics both useful and accessible. She has conducted Mathematics research at the University of California, Berkeley and the California Institute of Technology.

 
Ari%252BZerner.jpg

Ari Zerner

Ari Zerner specializes in the Languages and Tools cluster, covering topics such as functional programming, programming language theory, and formal verification.