Ryan Wisnesky

Ryan has a deep knowledge of Functional programming (mostly Haskell), mechanical verification (mostly Coq), type theory (mostly HoTT), query languages (mostly SQL), data integration (mostly EDs/the chase), category theory, and formal methods. His CS PhD is in programming (query) language design and implementation, but he learned data integration/migration from the Clio team at IBM Almaden and category theory as an MIT math postdoc.

Education: PhD Comp. Science, Harvard University

Location: Boston, United States
[] scholar
[] linkedin
[] arxiv