
Experimental and computational
Work emphasizing problems where a result changes practice rather than only the literature.
Forty-five studies, each published as a self-contained page that states its finding, its method and its limits. Most return a negative or qualified result, and we publish those in full, because the qualification is usually the finding.
One modeled chemical site with boilers, turbines, pressure headers and a chlor-alkali cell, followed in five parts from its first verified balances to its price sensitivity. The site is modeled, not measured.
Each tests one thing the testbed relies on. They cover the federal energy tables, the steam properties, the DOE tip sheets, the commitment under uncertain scenarios, the grid emission factor, the steady-state headers and the code it is made of. None changes a testbed result.
What low-carbon hydrogen, methanol, ethanol and ammonia fuels cost, and what sets their footprint.
Flowsheets, unit operations, property data, and the solvers and controllers that run them.
Runaway screening, incident causes, fault detection, life prediction and measurement quality.
How public data is qualified for reuse, and how published results are checked independently.
Program 02. Tools and methods for anyone who needs to judge whether a claim, a citation, or a generated answer can be trusted.
Ethical AI is often discussed as principle and rarely delivered as something a person can actually use. Our work in this program is applied: tools and methods for anyone who needs to judge whether a claim, a citation, or a generated answer can be trusted.
That audience is deliberately broad. Students, journalists, clinicians, librarians, and researchers face the same underlying problem, and it does not take a technical background for it to matter to them.

These run in the browser, are free, and need no account.
The study reports above are fixed documents: they state what was found and the reader follows the argument. A tool is a different kind of teaching. It lets someone change a condition and watch the answer move, which is how the shape of a result becomes intuition rather than a figure to be taken on trust.
Bubble and dew points, activity coefficients, flash calculations and phase diagrams for 44 components. Choose a mixture, pick an activity model, and plot the Txy or Pxy diagram. Every number is computed from a physics core and traceable to its model, parameters and literature source.
It is built for a first course in separations, where the ethanol and water azeotrope is easier to believe once you have watched the curve reach it yourself.
Program 03. Research at the undergraduate and graduate level.
Agent systems are increasingly used to plan syntheses, screen candidates, and read literature at scale, which makes their failure modes a chemistry problem as much as a computing one.
Students and collaborators: we take on research partners.


Work emphasizing problems where a result changes practice rather than only the literature.

Scaling what works at the bench into something that survives real production constraints.

How agent systems coordinate, where they fail, and what verification they need before a lab trusts their output.