Research Projects

I am involved in the following research projects of the LTG group:

Editing and Reviewing

I am in the editorial board of The Journal of Symbolic Logic and in the consulting board of Dialectica, reviewer for Mathematical Reviews and Zentralblatt MATH as well as referee for various journals and conferences in logic and theoretical computer science.


I am a member of the following societies:


I have been involved as a co-organizer of the following events: