He employs various computational methods to explore these processes, including thermodynamic model building and thermo- and geo-dynamic simulation. Check out his open-source project for thermodynamic modeling of rocky planets at www.enki-portal.org.