# Ryan Wisnesky

Curriculum Vitae | EmailRyan 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.

## 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]