Ryan Wisnesky
Conexus AI
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolRyan Wisnesky is a technology leader and applied category theorist who has spent 11+ years translating deep mathematical breakthroughs into enterprise-grade data integration products as head of Conexus AI. He leads development of the Conexus CQL platform, embedding theorem proving and categorical mathematics to deliver real-time, scalable data interoperability with provable integrity. A former MIT postdoc under David Spivak with a PhD in computer science, Ryan bridges academic research and production engineering to solve messy, mis-matched data problems that traditional pipelines cannot. His work has driven dramatic gains in data visibility and integrity for clients while catalyzing a community of researchers toward commercial applications. Based in San Francisco, he combines hands-on systems design, mentorship of developer teams, and novel math-driven approaches that reduce repeated engineering by enabling “build-once” data pipelines.
11 years of coding experience
Postdoctoral Associate Mathematics, Postdoctoral Associate Mathematics at Massachusetts Institute of TechnologyDoctor of Philosophy (Ph.D) Computer Science, Doctor of Philosophy (Ph.D) Computer Science at Harvard UniversityMS Computer Science, MS Computer Science at Stanford University
Stackoverflow
39reputation
259reached
0answers
2questions
Github Skills (41)
data-migration10
code-generator10
aql10
data-exchange10
jooq10
sql-formatter10
code-generation10
oracle10
query-language10
category-theory10
cql10
jpa10
sql-builder10
mysql9
data-science9
Programming languages (4)
Github contributions (5)
statebox/cql
Aug 2018 - May 2019
CQL: Categorical Query Language implementation in Haskell
Contributions:166 commits, 4 comments in 9 months
cqlhaskellquery-languageaqldata-migration
CategoricalData/APG
Sep 2019 - Oct 2021
Coq Implementation of Algebraic Property Graphs
Contributions:6 commits, 1 PR, 5 pushes in 2 years 1 month
coqproperty-graph
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.