área de pesquisa Allan Moreira Mulin Leal Computational Methods for Geochemical Modelling: Applications to Carbon Dioxide Sequestration