Ryan Wisnesky

Ryan Wisnesky Email and Phone Number

Technology and Data Science Executive - generative symbolic AI, data integration, digital transformation @ Conexus
Ryan Wisnesky's Location
San Francisco, California, United States, United States
Ryan Wisnesky's Contact Details

Ryan Wisnesky personal email

n/a
About Ryan Wisnesky

Providing seamless data interoperability and guaranteed data integrity. I help customers to build their data pipelines only once. For our clients, I work to drive real-time inter- and intra- enterprise scaled data integration at the pace at which data is growing. I lead a team of developers and applications specialists that continue with enhancements to the Conexus CQL enterprise software platform. The active work of this team is using new breakthroughs in math to improve data modeling, data architecture, create better queries, and deliver better quality data. For developers, business analysts, and enterprise managers, we get better business results for tough problems of bringing together mis-matched data.I additionally work to catalyze the community of researchers in Categorical Mathematics toward practical commercial applications.

Ryan Wisnesky's Current Company Details
Conexus

Conexus

View
Technology and Data Science Executive - generative symbolic AI, data integration, digital transformation
Ryan Wisnesky Work Experience Details
  • Conexus
    Conexus Ai
    Conexus Sep 2015 - Present
    San Francisco, California, Us
    Conexus is the leader in the modern applications of databases based on the breakthroughs in Categorical Mathematics. This allows for 100x improvements in data visibility and 100% data integrity. At Conexus I lead the technical effort expanding our enterprise-grade software platform to new domains. I have led the technical maturation of the Conexus CQL codebase from early functionality to enterprise-level products. I have led the complex systems development that embeds theorem proving in our platform and proof techniques; used ontologies for acceleration of application implementation; and advanced collaborative techniques.
    View
  • Mit
    Postdoc, Mathematics
    Mit Jan 2014 - Aug 2015
    Cambridge, Ma, Us
    Studied category theory under David Spivak
    View
  • Ibm
    Research Intern
    Ibm 2002 - 2010
    Armonk, New York, Ny, Us
    I've maintained a long and still ongoing collaboration with IBM, particularly IBM Almaden, where I participated in its Extreme Blue https://en.wikipedia.org/wiki/Extreme_Blue program.
    View

Ryan Wisnesky Skills

Computer Science Java Software Engineering Databases Programming Language Theory Functional Support Functional Verification Formal Methods C Relational Databases Algorithms Python Machine Learning Coq Formal Verification Category Theory Latex Data Integration Information Integration Functional Programming Haskell Sql Query Optimization Language Integrated Query Research Programming

Ryan Wisnesky Education Details

  • Massachusetts Institute Of Technology
    Massachusetts Institute Of Technology
    Mathematics
  • Harvard University
    Harvard University
    Computer Science
  • Stanford University
    Stanford University
    Computer Science
  • Stanford University
    Stanford University
    Computer Science

Frequently Asked Questions about Ryan Wisnesky

What company does Ryan Wisnesky work for?

Ryan Wisnesky works for Conexus

What is Ryan Wisnesky's role at the current company?

Ryan Wisnesky's current role is Technology and Data Science Executive - generative symbolic AI, data integration, digital transformation.

What is Ryan Wisnesky's email address?

Ryan Wisnesky's email address is ry****@****ard.edu

What schools did Ryan Wisnesky attend?

Ryan Wisnesky attended Massachusetts Institute Of Technology, Harvard University, Stanford University, Stanford University.

What skills is Ryan Wisnesky known for?

Ryan Wisnesky has skills like Computer Science, Java, Software Engineering, Databases, Programming Language Theory, Functional Support, Functional Verification, Formal Methods, C, Relational Databases, Algorithms, Python.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.