Ryan Wisnesky

MIT Seal

Massachusetts Institute of Technology
Department of Mathematics
50 Ames Street
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. He is currently a postdoctoral associate in the MIT department of mathematics, where he leads the development of a functorial query language, FQL; in the fall of 2015 he will leave MIT to initiate 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 developing next-generation functional query languages and exploring their application to no-sql.

Past Activities
I've built certified systems software with Ynot.

In collaboration with the Clio team at the IBM Almaden Research Center, I've developed programming languages for information integration.

I'm a former IBM Extreme Blue intern.

Unpublished reports from Harvard.

Unpublished reports from Stanford.