Ryan Wisnesky

ryan@wisnesky.net

Categorical Informatics
Cambridge Innovation Center
1 Broadway
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. 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.