I am a professor at EMAp/FGV (Applied Mathematics School, Getulio Vargas Foundation, Rio de Janeiro), where I have been teaching since 2010. I am also serving as Director of the CSLib Initiative (Computer Science Library in Lean) at Renaissance Philanthropy, a global open-source initiative with founding support from Amazon and Google. Through a collaboration with New York University, I contribute to DARPA's ExpMath programme, which aims to accelerate mathematics research with AI.