Software

MuIR

MuIR is a cutting-edge prototype for query optimization and evaluation, designed to handle large knowledge and property graphs. It implements a powerful algebra with advanced rewrite rules, execution plans, cost estimation, and specialized executors, ensuring efficient query processing on complex graph data.

MedAnalytics notebooks

MedAnalytics is an implementation of a method for the automatic detection of at-risk profiles through fine-grained analysis of electronic health record data. The system is built on an optimized architecture designed for efficiently processing large volumes of medical records and clinical data. It enables predictive analytics on real-world data from millions of patients and hundreds of hospitals. This approach demonstrates how the detection of at-risk patients can be enhanced using highly scalable predictive models that leverage both volume and variety. As a result, these models deliver accurate risk predictions using only a small amount of data per patient.

Tree Logic Implementation: a satisfiability solver for a logic of finite trees

The Tree Reasoning Solver is an implementation of a satisfiability solver for a logic of finite trees. It includes static analyzers for reasoning with tree-shaped data, regular path queries over trees, and tree constraints. The logic is a modal tree logic with recursion and backward modalities. The solver uses symbolic techniques (Binary Decision Diagrams) and is efficient in practice. At its core, the system features a satisfiability solver for the μ-calculus with converse over finite trees. It also implements compilers that translate regular path queries (e.g., XPath) and regular tree grammars (e.g., DTDs) into the logic. Additionally, the system provides a predicate language that simplifies the formulation and resolution of problems, even for users with limited logical knowledge. Example use cases include query analysis, reasoning with schema constraints, working with functions, and analyzing style sheets. The system is available as an online demonstration and as a library.

Older commercial software

At an early age, I developed software for personal use that ultimately gained worldwide distribution. In 1996, I created WCK, one of the first French web page editors. I later founded "pierresoft.com," and in 2001, I completed the design and development of "Adesign," a graphic software for layered image creation and photo retouching. This software was marketed globally by several licensed companies in France, Germany, and Canada, and was used by thousands of users around the world.