nectry / team

The team behind Nectry.

Programming-languages researchers and product leaders, building on two decades of MIT research in compilers, formal methods, and security.

Leadership

  • Portrait of Daniel Winograd-Cort

    Daniel Winograd-Cort

    CEO & CTO

    Coding and engineering leadership at Target and Luminous. Yale PhD in programming languages.

  • Portrait of Adam Chlipala

    Adam Chlipala

    Chief Scientist

    MIT CS Professor, programming languages and compilers. Developed the core product and the Ur/Web line of research NectryCore is built on.

  • Portrait of Diou Shi

    Diou Shi

    Chief Product Officer

    Head of Product & Design at LogRocket and Catalant Technologies.

Backed by

  • Essence VC
  • Foothill Ventures
  • Samsung Next
  • J4 Ventures
  • Pacific Alliance Ventures
  • E14 Fund

Built on published research.

NectryCore grows out of the Ur/Web line of research at MIT. The papers and the ideas behind the product are public.

Research Technology

Talk with the team.

Book a Demo