I am a mathematician at IMPA in Rio de Janeiro, Brazil.
I am also a member of the Lua team and an advisor at Cartesi.