hero

Well Conditioned

Solving problems in the intersection of computational theory, data science, and software craft.

Computational theory

Cutting-edge software design built atop a century of research in logic, language, and types.

Data science

Bayesian statistics and machine learning techniques building data-driven theories, answers, and predictions.

Software Craft

Building knowledge and the artifacts around it in the small and large, the short term and the long term.