Ruy J. Guerra B. de Queiroz
Centro de Informática,
Federal de Pernambuco
Professor, Univ. Federal de Pernambuco (UFPE)
Member of the Theory Group, CIn-UFPE
Co-Editor-in-Chief, Logic Journal of the IGPL, Oxford U. Press
Associate Editor, Journal of Computer and System Sciences
Member of the Editorial Board of Journal of Applied Logics, College Publications, Kings College, London, UK.
Coordinator of the Interest Group in Pure and Applied Logics
Member of the Editorial Board of South American Journal of Logic
Member of the Editorial Board of The International Directory of Logicians
Member of the Editorial Board of LNCS-FoLLI series, Springer.
Member of the Scientific Committee of the series Cadernos de Lógica e Computação, College Publications, Kings College, London, UK.
Former Member-at-Large (2009) of the Council of Association for Symbolic Logic
Member (2011-2016) of the Committee on Logic in Latin America of Association for Symbolic Logic
Member of the Advisory Group to the Rolf Schock Prize in Logic and Philosophy (2008, 2011, 2014, 2017, 2018, 2019, 2022) Prize Committee (Royal Swedish Academy of Sciences)
Member (2012-2016) of the Prize Committee of E.W. Beth Dissertation Prize
Member of The 2020, 2021, 2022 IEEE John von Neumann Medal Committee.
Logical Foundations of Computation,
Logic and Complexity Theory (Proof Complexity, Descriptive Complexity), Foundations of Cybersecurity.
Stanford "Edward Larocque Tinker" Visiting Professorship (Jan-Jun 2006) (nominated by
Solomon Feferman (Rolf Schock Prize 2003) and Grigori Mints)
de Queiroz, R., de Oliveira, A., & Gabbay, D.: 2011, The Functional Interpretation of
Logical Deduction. Vol. 5 of Advances in Logic series. Imperial College Press / World Scientific, Oct 2011. ISBN 978-981-4360-95-1. DOI https://doi.org/10.1142/8215
(flyer) (Buy it from Amazon)
Recent editorial contributions
As a Collaborating Editor
Special Issues of Journals
Centro de Informática
Universidade Federal de Pernambuco
Av Jornalista Anibal Fernandes, s/n
50740-560 Recife, PE, BRAZIL
Tel.: (+55 81) 2126 8430.
Fax: (+55 81) 2126 8438
ruy at cin ufpe br
Last modified: March 24, 2023, 04:44pm GMT-3.