Ryan Wisnesky
Ryan Wisnesky http://wisnesky.net/ 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 http://wisnesky.net/icfp09.pdf software systems http://wisnesky.net/popl10.pdf. Previously, he was a postdoctoral associate in the MIT department of mathematics, where he developed the CQL http://categoricaldata.net/ query language based on category theory. He currently leads open-source and commercial development of CQL as CTO of Conexus AI http://conexus.ai/. He maintains an active collaboration with the information-integration department of IBM Research, where he contributed to the Clio http://www.almaden.ibm.com/cs/people/lucian/papers/clio-industrial.pdf, Orchid http://wisnesky.net/icde08.pdf, and HIL http://wisnesky.net/edbt13.pdf projects.
Présentations de Ryan Wisnesky cette année