Ruy J. Guerra B. de Queiroz

Centro de Informática, Universidade Federal de Pernambuco

Posição Atual

Professor Associado, Univ. Federal de Pernambuco (UFPE)

Membro do Grupo de Teoria, CIn-UFPE

Co-Editor-in-Chief, Logic Journal of the IGPL, Oxford U. Press

Coordenador do Interest Group in Pure and Applied Logics

Membro do Corpo Editorial do The International Directory of Logicians

Associate Editor, Journal of Computer and System Sciences

Ex-Membro (Eleito) do Council da Association for Symbolic Logic

Membro (2011-2013) do Committee on Logic in Latin America da Association for Symbolic Logic

Membro do "Advisory Group" do Comitê de Premiação do Rolf Schock Prize in Logic and Philosophy (2008, 2011 e 2014) (Real Academia de Ciências da Suécia)

Membro do Corpo Editorial da LNCS-FoLLI series, Springer.

Áreas de interesse
Fundamentos Lógicos da Computação, Teoria da Prova, Teoria dos Modelos, Lógica e Teoria da Complexidade (Complexidade de Provas, Complexidade Descritiva), Fundamentos da Cibersegurança.

Blogs
Cibersegurança e O Domínio Público
Os Ventos da Liberdade

Prêmio Recente
Stanford "Edward Larocque Tinker" Visiting Professorship (indicado por Solomon Feferman (Rolf Schock Prize 2003) e Grigori Mints)

Livro:

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) (Compre-o na Amazon)

Contribuições editoriais recentes

Traduções

Endereço Postal:
Centro de Informática
Universidade Federal de Pernambuco
Av Prof Luis Freire, s/n
Cidade Universitária
50740-540 Recife, PE
Tel.: (+55 81) 2126 8430.
Fax: (+55 81) 2126 8438
ruy at cin ufpe br

Última modificação: 16 Maio 2013, 07:14pm GMT-3.