I’m a Brazilian researcher and software developer working in abstraction processes applied to Mathematics, Physics, Philosophy and Computer Science.
Currently I’m in a Software Developer position at Magalu Cloud, the first Brazilian public cloud provider.
I’m also an active Linux user and a Vim lover.
I was one of the founders and the developer of the Math-Phys-Cat Group, a Brazilian research group.
I’m involved in constructing a functional approach to Python that presents strong type safety. For instance, see:
Documentations for the projects are available at ximenesyuri.com/libs
Last revised on September 27, 2025 at 15:34:26. See the history of this page for a list of all contributions to it.