Calendar
    2013
    2012

Events
    WoLLIC'12
    WoLLIC'11

Organisations
    ASL
    IGPL
    FoLLI
    WoLLIC

Projects
    Model Th.
    Proof Th.

Publications
    Books
    Ed. Vol.
    Papers
    Other

Teaching
    Logic for CS
    Theor. Inf.
    Conjuntos
    Crypto

Postgraduate
    Programmes
    Supervision

Admin
   Final-yr. Proj.

Personal


Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco

Current position

  • Associate 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
  • Coordinator of the Interest Group in Pure and Applied Logics
  • Member of the Editorial Board of The International Directory of Logicians
  • Associate Editor, Journal of Computer and System Sciences
  • (Elected) Former Member of the Council of Association for Symbolic Logic
  • Member (2011-2013) 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 and 2011) Prize Committee (Royal Swedish Academy of Sciences)
  • Member of the Editorial Board of LNCS-FoLLI series, Springer.

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

    Recent Award
    Stanford "Edward Larocque Tinker" Visiting Professorship (nominated by Solomon Feferman (Rolf Schock Prize 2003) and Grigori Mints)

    Book:

    Insert your error message here, if the PDF cannot be displayed.
    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. (flyer) (Buy it from Amazon)

    Recent editorial contributions
    Logic for Concurrency and Synchronisation     FI Special Issue of WoLLIC 2009     LNCS Proceedings of WoLLIC 2011     LNCS Proceedings of WoLLIC 2010     JCSS Special Issue of WoLLIC 2008     I&C Special Issue of WoLLIC 2007     I&C Special Issue of WoLLIC 2006     LNCS Proceedings of WoLLIC 2009     LNCS Proceedings of WoLLIC 2008     APAL Special Issue of WoLLIC 2005     LNCS Proceedings of WoLLIC'2007     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 Prof Luis Freire, s/n
    Cidade Universitária
    50740-540 Recife, PE, BRAZIL
    Tel.: (+55 81) 2126 8430.
    Fax: (+55 81) 2126 8438
    ruy at cin ufpe br

    Last modified: Feb 2, 2012, 11:14am GMT-3.