My name is Yuri Ximenes Martins (
yxm, for short). I’m a
Brazilian researcher and software developer, currently working as a
backend developer at
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.