Ryan Wisnesky
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 Activities
I am commercializing CQL at Conexus AI. I also created a naive Haskell implementation of core CQL, now maintained by Statebox.
- Algebraic Property Graphs (2019)
- Fast Left Kan Extensions Using the Chase (2019)
- Informal Data Transformation Considered Harmful (HAI 2019)
- Categorical Data Integration for Computational Science (CMS 2019)
- Algebraic Databases (TAC 2017) [slides] [video]
- Algebraic Data Integration (JFP 2017) [Aggregation supplement]
- Using Category Theory to Facilitate Multiple Manufacturing Service Database Integration (JCISE 2017)
- Algebraic Model Management (WADT 2016)
- QINL: Query-Integrated Languages (2015)
- Relational Foundations for Functorial Data Migration (DBPL 2015) [slides]
