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.


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.