Education: PhD Comp. Science, Harvard University
Location: Boston, United States
Publications: Arxiv Google Scholar
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.