REINHARD KAHLE

Professor at the Universidade Nova de Lisboa, Departamento de MatemáticaPrivatdozent at the Universität Tübingen.Researcher at CENTRIA, Universidade Nova de Lisboa, Departamento de InformáticaResearcher (collaborator) at CMAF, Universidade de Lisboa Research Interests: Mathematical Logic (Proof Theory), Philosophy of Mathematics, History of Logic Committees:

• Member of the board of the European Association for Computer Science Logic, EACSL, since 2009.

• Member of the ESSLLI Standing Committee (European Summer School in Logic, Language, and Information), 2010-13.

• Member of the Advisory Board of the Hilbert-Bernays Project (translation of the two volumes Grundlagen der Mathematik of Hilbert and Bernays into English by the International Federation of Computational Logic)