Software & Data

As part of my research, I routinely produce mathematical research data and contribute to mathematical software packages.

The (CInet) is an online repository for research data related to conditional independence structures. Its features include:

I am maintaining both the website and the CInet::Tools. Some packages, like CInet::ManySAT which bundles a collection of SAT solvers, are useful beyond the scope of conditional independence. It can be used to count or enumerate any type of combinatorial object with a “propositional” description.


OSCAR is a new computer algebra system which ties together more specialized software systems (GAP, Singular, Polymake, FLINT and more) into a common framework.

Together with Benjamin Hollering and Marine Garrote-López I am developing the Algebraic Statistics module.