Leadership
Three PhDs. Three institutions. One mission: make AI trustworthy.
Eric Daimler, CEO & Co-Founder
First AI Advisor in the White House. Former Assistant Dean, Carnegie Mellon School of Computer Science. Five previous ventures. PhD in CS from Carnegie Mellon.
Dr. Daimler has spent three decades at the intersection of mathematics, artificial intelligence, and enterprise systems. As a the first AI advisor serving as a Presidential Innovation Fellow with the White House Office of Science and Technology Policy, he helped shape the national approach to trustworthy AI before the term became a marketing category.
At Carnegie Mellon, he served as Assistant Dean of the School of Computer Science, one of the world’s premier programs in AI. He has founded or co-founded six technology ventures, each applying fundamental science to industrial problems.
At Conexus, he leads the commercialization of the most significant breakthrough in data verification since relational databases: the application of category theory to enterprise data integrity.
← Back to About
Dr. Ryan Wisnesky, CTO & Co-Founder
Led the team that developed the mathematical foundations underlying Conexus. Stanford BS & MS in CS; Harvard Ph.D in CS. Former IBM Research.
Dr. Wisnesky is the architect behind CQL, the open-source platform at the heart of Conexus. At MIT, he transformed the mathematics of category theory into practical software engineering thus bridging the gap between abstract mathematics and enterprise data operations.
His academic foundation spans Stanford (undergraduate) and Harvard (graduate), followed by research at IBM before joining MIT. At Conexus, he leads the technology organization responsible for platform development, customer deployments, and the continued evolution of the mathematical verification engine.
← Back to About
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