Hi.

My name is Yuri Ximenes Martins (yxm, for short). I’m a Brazilian researcher and software developer, currently working as a backend developer at Luizalabs.

I do research in the intersection between Mathematics, Physics, Computer Science and Philosophy. The main topic of my research is abstraction in its may incarnations, e.g., axiomatization, generalization and categorification. As a developer I like to follow the functional paradigm and to automate stuff in Shell Scripting.

I also have interest in Unix-like operating systems, in Brazilian poetry and in teaching-learning theories.

Contact:

• research: yxm@gmx.ie
• development: yxm.dev@gmx.ie