I am an adjunct professor at EMAp/FGV (Applied Mathematics School, Getulio Vargas Foundation, Rio de Janeiro). I am also serving as Director of CSLib (Computer Science Library in Lean) at Renaissance Philanthropy, a global open-source initiative funded by Amazon and Google, and a participant in DARPA's ExpMath programme on AI-assisted mathematical formalization.