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 categorical query language, CQL. 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 developing the the categorical query language CQL at Conexus AI and collaborating with Statebox to port it to Haskell.

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.