Dr. David Spivak, Chief Scientist
12 years on MIT mathematics faculty. Discovered the application of category theory to information systems. Author of two books on applied category theory.
Dr. Spivak is one of the world’s foremost authorities on applied category theory. During twelve years on the MIT mathematics faculty, he developed the theoretical framework that makes Conexus possible: the insight that category theory (a branch of mathematics dealing with abstract structures and relationships) could be applied to verify the integrity of real-world data systems.
His two books on applied category theory have become standard references in the field. His research established the mathematical foundations that allow Conexus to deliver proofs, not predictions, about enterprise data.
Dr. David Spivak, Chief Scientist
12 years on MIT mathematics faculty. Discovered the application of category theory to information systems. Author of two books on applied category theory.
Dr. Spivak is one of the world’s foremost authorities on applied category theory. During twelve years on the MIT mathematics faculty, he developed the theoretical framework that makes Conexus possible: the insight that category theory (a branch of mathematics dealing with abstract structures and relationships) could be applied to verify the integrity of real-world data systems.
His two books on applied category theory have become standard references in the field. His research established the mathematical foundations that allow Conexus to deliver proofs, not predictions, about enterprise data.
← Back to About
← Back to About