About Me

Hi, I’m Martín! I’m currently an M.Sc. student in Pure and Applied Logic at the University of Barcelona, supervised by Albert Atserias on computational complexity, and also working with Juan Aguilera on higher-order computability and non-classical logics.

Driven by ethics, I’m passionate about using theoretical tools to ensure that advanced artificial intelligence is beneficial for humanity. That’s why I’ve spent the last year collaborating with several AI safety research organizations. Right now I’m working with the Center on Long-term Risk on mathematical modelling to understand and prevent machine-augmented power conflict. I’ve also worked on AI-relevant applications of Decision Theory for PIBBSS, and on Machine Learning Theory for MATS. For more about my research, see here.

Outside my research, I’m a professional graduate in piano interpretation by the Conservatory of Barcelona, co-founded a student group for animal welfare and a local social initiative for the right to housing, and consider myself a part of the Effective Altruism community.

In my spare time, I also play the church organ and the trumpet, and you’ll typically find me reading Nabokov or Greg Egan, running around North London or playing board games with friends. To get in touch, you can email me at martinsotoq2911@gmail.com.