~/ me/ edu/ res/ dev/ ../
blog/ lab/

/home$ _


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.