Calendar
    2024

Events
    WoLLIC'25

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Model Th.
    Proof Th.

Publications
    Books
    Ed. Vol.
    Papers
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Bitcoin
    Crypto

Postgraduate
    Programmes
    Supervision

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco

Current position

  • 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.

    Past positions

  • 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.

    Research interests
    Logical Foundations of Computation, Proof Theory, Model Theory, Logic and Complexity Theory (Proof Complexity, Descriptive Complexity), Foundations of Cybersecurity.

    International Award
    Stanford "Edward Larocque Tinker" Visiting Professorship (Jan-Jun 2006) (nominated by Solomon Feferman (Rolf Schock Prize 2003) and Grigori Mints)

    Book:
    The Functional Interpretation of Logical Deduction
    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

    Edited Books
    Logic for Concurrency and Synchronisation    

    As a Collaborating Editor
    Proofs, Categories and Computations - Essays in Honor of Grigori Mints    

    Proceedings
    LNCS Proceedings of WoLLIC 2024     LNCS Proceedings of WoLLIC 2023     LNCS Proceedings of WoLLIC 2022     LNCS Proceedings of WoLLIC 2021     LNCS Proceedings of WoLLIC 2019     LNCS Proceedings of WoLLIC 2018     LNCS Proceedings of WoLLIC 2017     LNCS Proceedings of WoLLIC 2016     LNCS Proceedings of WoLLIC 2015     LNCS Proceedings of WoLLIC 2014     LNCS Proceedings of WoLLIC 2013     LNCS Proceedings of WoLLIC 2012     LNCS Proceedings of WoLLIC 2011     LNCS Proceedings of WoLLIC 2010     LNCS Proceedings of WoLLIC 2009     LNCS Proceedings of WoLLIC 2008     LNCS Proceedings of WoLLIC'2007    

    Special Issues of Journals
    AML Special Issue of WoLLIC 2018     I&C Special Issue of WoLLIC 2019     I&C Special Issue of WoLLIC 2017     I&C Special Issue of WoLLIC 2016     I&C Special Issue of WoLLIC 2015     I&C Special Issue of WoLLIC 2014     JCSS Special Issue of WoLLIC 2013     TCS Special Issue of WoLLIC 2012     JCSS Special Issue of WoLLIC 2011     JCSS Special Issue of WoLLIC 2010     FI Special Issue of WoLLIC 2009     JCSS Special Issue of WoLLIC 2008     I&C Special Issue of WoLLIC 2007     I&C Special Issue of WoLLIC 2006     APAL Special Issue of WoLLIC 2005     ENTCS Proceedings of WoLLIC'2006     WoLLIC'2004 Special Issue of TCS     WoLLIC'2003 Special Issue of TCS     ENTCS Proceedings of WoLLIC'2005     WoLLIC'2002 Special Issue of APAL     ENTCS Proceedings of WoLLIC'2004     ENTCS Proceedings of WoLLIC'2003     ENTCS Proceedings of WoLLIC'2002     WoLLIC 2001 Special Issue of Matemática Contemporânea

    Translations
                       

    Postal Address:
    Centro de Informática
    Universidade Federal de Pernambuco
    Av Jornalista Anibal Fernandes, s/n
    Cidade Universitária
    50740-560 Recife, PE, BRAZIL
    Tel.: (+55 81) 2126 8430.
    Fax: (+55 81) 2126 8438
    ruy at cin ufpe br

    Last modified: Sept 10, 2024, 09:58am GMT-3.