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

Á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)

Contribuições editoriais recentes

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: 8 Junho 2010, 08:31pm GMT-3.