Ryan Wisnesky

ryan@wisnesky.net
MIT Seal

Massachusetts Institute of Technology
Department of Mathematics
E17-417
50 Ames Street
Cambridge, MA 02142

Portrait

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 initial 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.


Teaching