Ryan Wisnesky
Curriculum VitaeRyan 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. While at IBM Research Almaden he contributed to the Clio, Orchid, and HIL projects. While a postdoctoral associate in the MIT department of mathematics, he developed the CQL query language for ontology manipulation based on category theory. He is currently exploring applications of CQL to safe AI as CTO of Conexus AI.
Current Activities
Project Elway seeks to replace legacy government and enterprise software applications with more sophisticated, next-generation mathematical components built on Kan extensions using CQL. As they "rejoice in light and give it back in hues more marvellous than before", the (Lord of the Rings) Silmarils reflect the universally generative nature of Kan extensions, and even in the darkness of the smallest data sets Kan extensions "of their own radiance shine like the stars".
- Consensus-Free Spreadsheet Integration (Draft, 2022)
- Algebraic Property Graphs (Draft, 2022). See also Hydra
- Fast Left Kan Extensions Using the Chase (JAR 2022)
- Towards a More Reasonable Semantic Web (Draft, 2022)
- Relational to RDF Data Migration by Query Co-Evaluation (Draft, 2021)
- Informal Data Transformation Considered Harmful (HAI 2019)
- Categorical Data Integration for Computational Science (CMS 2019)