I am currently a postdoc at the Stanford Intelligent Systems Laboratory (SISL), where I work with Prof. Mykel Kochenderfer. My research focuses on the design of feedback controllers for stochastic dynamical systems. It leverages tools from formal methods, optimisation, statistics, stochastic calculus, and control theory to assert safety or design feedback controllers for these systems. My ambition is to further develop our understanding in these areas to produce novel ways to study feedback control loops that are designed using available data.

To complement and motivate theoretical aspects of my research, I seek inspiration from the challenges that emerge with the ongoing energy transition. The high penetration of renewables, despite being a central piece for such a transition, requires a new paradigm to plan and operate modern power systems. If there is a problem that is far from being solved, that problem is that of managing a power system with 100 $\%$ of renewable energy penetration.

Before joining Stanford, I worked with Prof. Alessandro Abate at the Department of Computer Science Department, University of Oxford. I obtained my PhD in June 2021 from the Department of Engineering Science, Univeristy of Oxford, under the supervision of Prof. Kostas Margellos and Prof. Antonis Papachristodoulou. My PhD thesis was awarded the Institute of Engineering Technology's (IET) Control and Automation Dissertation Prize 2021.

I obtained my MSc in Electrical Engineering from the University of Campinas (UNICAMP), Brazil, in 2017, under the supervision of Prof. Pedro Luis Dias Peres, and BSc in Electrical Engineering from the Federal University of Campina Grande (UFCG), Brazil, in 2014. A version (outdated with probability one!) of my CV can be found here.

Recently, I have transitioned to using Julia as the main programming language to develop the algorithms that are central to my research. Julia is an entirely open-source language, with high-performance in numerical computations when compared to other well-known languages.

In additional to this skill, I have collected below some mathematical topics that are recurrent in my research: