Ryan Wisnesky


Categorical Informatics
Cambridge Innovation Center
1 Broadway
Cambridge, MA 02142

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 a functorial query language, FQL. He currently leads FQL-related commercialization activities at Categorical Informatics, Inc. He maintains an active collaboration with the information-integration department of IBM Research, where he contributed to the Clio, Orchid, and HIL projects.
Full C.V.

Current Activities
I am working to establish new category-theoretic foundations for information management.

I am working to establish new category-theoretic foundations for domain-specific languages.

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.

I've developed programming languages for information integration.

I'm a former IBM Extreme Blue intern.

Unpublished reports from MIT.

Unpublished reports from Harvard.

Unpublished reports from Stanford.