Ryan WisneskyPortrait

Curriculum Vitae | Email


Ryan Wisnesky obtained B.S. and M.S. degrees in mathematics and computer science from Stanford University and a Ph.D. in computer science from Harvard University, where he studied the design and implementation of provably correct software systems. Previously, he was a postdoctoral associate in the MIT department of mathematics, where he developed the CQL query language based on category theory. He currently leads open-source and commercial development of CQL as CTO of Conexus AI. He maintains an active collaboration with the information-integration department of IBM Research, where he contributed to the Clio, Orchid, and HIL projects.


Special message: Hi all, I have developed new algorithms for managing semantics (i.e. logical assertions) in knowledge graphs - faster algorithms for automated deduction and inference, new kinds of graph and schema transformation at scale, etc. I'm trying to figure out how to turn these algorithms into useful tools. If anyone is trying to merge knowledge graphs/ontologies and/or evolve them and is struggling with preserving semantic integrity in so doing I would love to talk to you! Academic papers and open-source software describing this work can be found here. Thanks!


Current ActivitiesCatData

I am commercializing CQL at Conexus AI. I also created a naive Haskell implementation of core CQL, now maintained by Statebox.


Past Activities

I've developed next-generation functional query languages and explored their application to no-sql.


I've built certified systems software with Ynot, and started the Coq formalization of Hashgraph (later continued by Gregory Malecha and finished by Karl Krary).


I've developed programming languages for relational data integration.


I'm a former IBM Extreme Blue intern.


Unpublished reports from MIT.


Unpublished reports from Harvard.


Unpublished reports from Stanford.