Mathematician/Programmer
PhD in Applied Mathematics with solid academic background from the University of São Paulo (USP) and Kiel University (CAU), combined with programming knowledge and interest for logical and mathematical problems.
Having worked as a researcher at GEOMAR Helmholzt Centre for Ocean Research Kiel granted me the ability to work in highly interdisciplinary and international environments, in addition to capacity to communicate complex concepts both orally and in writing.
If you prefer, you can check out my CV in PDF format (English and Portuguese).
Ash layers from volcanic eruptions can be found on land or in sediments retrieved from the ocean floor. For on land layers it is usually possible to determine which volcano is its source, while for the ones in ocean sediments multiple nearby volcanoes could be the source. This project aims to apply machine learning models to determine the source volcanoes of ash layers based on their chemical composition, using the data from on land samples as the ground truth.
This project originated from observations of coincidences between glacial/interglacial periods and volcanism. Some works detected an increase in eruption rate following the last glacial age (Watt et. al (2013), Praetorius et al. (2016)), while others observed coincidences in the periodicities present in climate records (the δ¹⁸O benthic stack compiled in Lisiecki and Raymo (2005)) and volcanism (Schindlbeck et. al (2018), Kutterolf et. al (2013)).
Analysing this data, however, is not so straightforward. While climate proxies are standard continuous time series, eruption records are points in time that can be represented as a binary time series, with ones representing instants when an event occurred. My goal in this project is to research and develop statistical tools to help determine if there is a correlation between climate and volcanism.
During this research we realized that a statiscally sound goodness-of-fit test for point processes was lacking in the literature, therefore we developed the theory and implemented such a procedure to be used in out analyses.
For more on this, check this paper, the Julia package with the implementation of the goodness-of-fit test, and the posters available below.
The project PointProcesses.jl is an improved and more general purpose package for temporal and marked point processes that is in active development with in collaboration with other researchers.
Supervisor: Leandro Fiorini Aurichi
Project: Applications of ultrafilters to Ergodic Ramsey Theory (in Portuguese)
Supervisor: Leandro Fiorini Aurichi
Project: Introduction to Topological Games