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 (48)
plsql10
data-migration10
code-generator10
sql-parser10
aql10
jooq10
sql-formatter10
categorical10
query-language10
jpa10
sql-builder10
mysql9
jsonb9
postgresql9
ddl9
Programming languages (4)
Github contributions (5)
CategoricalData/APG
Sep 2019 - Oct 2021
Coq Implementation of Algebraic Property Graphs
Contributions:6 commits, 1 PR, 5 pushes in 2 years 1 month
coqgraphsalgebraic
statebox/cql
Aug 2018 - May 2019
CQL: Categorical Query Language implementation in Haskell
Contributions:166 commits, 4 comments in 9 months
querycqlfunctional-programminghaskellquery-language
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.