Currently finishing my MSc in Pure Mathematics (at University of Buenos Aires) and deciding the PhD program. I’m interested in the broad area of Logic and in the design of effective procedures that have a strong theoretical background. I have many specific interests, so I'll take a few months to decide what I like most.

My MSc thesis was in ordinal notations and their connections with ordinal analysis. I work as an assistant researcher at LaFHIS (http://lafhis.dc.uba.ar/). I also did a one month summer internship in Coding Theory, which I enjoyed a lot. I'm extremely interested in collaboration offers, especially in logic.

You can find me at billy dot mosse at gmail dot com.