My main research activity now takes place in the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität Wien (in Vienna, Austria), where I am a PhD student and a research assistant in the project CERes (Cut-Elimination by Resolution).
In this website you can find a summary of my research activity, and more specifically of my publications; my talks; prizes, grants and scholarships that I have received; software projects in which I was involved; universities and research institutions where I studied; and conferences and workshops that I attended…
You can also find more about my research in my profile page at "academia.edu". For some information on what I do when I am not researching, visit my blog.
