Ruy José Guerra Barretto de Queiroz (Recife, 11 de janeiro de 1958) é um professor titular da Universidade Federal de Pernambuco e possui trabalhos significativos nas áreas de pesquisa da Lógica matemática, Teoria da prova, Fundações da matemática e Filosofia da matemática. Ele é o fundador do WoLLIC (Workshop on Logic, Language, Information and Computation), que tem sido organizado anualmente desde 1994, tipicamente em Junho ou Julho.
Ruy de Queiroz recebeu seu Bacharelado em Engenharia Elétrica pela Escola Politecnica de Pernambuco in 1980, seu Mestrado em Ciências da Computação pela Universidade Federal de Pernambuco in 1984, e seu Doutorado em Computação pelo Imperial College em 1990, pela defesa da Dissertação "Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation"; supervisionado pelo Professor Thomas S. E. Maibaum.
Perfil de pesquisa
No fim da década de 1980, Ruy de Queiroz ofereceu uma reformulação da teoria dos tipos de Martin-Lof baseada numa nova leitura do conceito 'significado é uso', de Wittgenstein, onde a explicação das consequências de uma dada proposição dá o significado da constante lógica dominante da proposição, equivalendo a uma interpretação não-dialógica de constantes lógicas por meio dos efeitos de regras da eliminação sobre regras de introdução, achando um paralelo com a lógica do diálogo de Lorenzen e Hintikka. Isso levou à uma teoria dos tipos chamada de 'Meaning as Use Type Theory’ (ou 'Teoria dos Tipos do Significado como Uso'). Em referência ao uso do dito de Wittgenstein, ele mostrou que o aspecto relativo à explicação das consequências de uma proposição data de muito tempo atrás, quando, em uma carta à Russell, Wittgenstein se refere ao quantificador universal como tendo significado apenas quando se vê o que está ligado a ele.
Desde a década de 1990, Ruy de Queiroz está engajado, juntamente com D. Gabbay, em um programa de fornecimento de uma consideração geral da interpretação funcional da lógica clássica e não-clássica por meio da noção de dedução natural. Como resultado, novas interpretações do quantificador universal, assim como a noção de igualdade proposicional, foram apresentadas, a última permitindo uma remodelação da noção de computação direta de Statman, e uma nova aproximação da dicotômica consideração 'intencional versus extensional' da igualdade proposicional por meio da interpretação de Curry-Howard.
Desde o começo dos anos 2000, Ruy de Queiroz vem investigando, juntamente com Anjolina de Oliveira, uma perspectiva geométrica da dedução natural apoiada numa consideração baseada em grafos da dedução natural simétrica de Kneale.
Ensino
Ruy de Queiroz lecionou diversas disciplinas relacionadas a lógica e a ciência da computação teórica, incluindo Teoria dos Conjuntos, Teoria da Recursão (como uma continuação de um curso dado por), Lógica para Computação, Matemática Discreta, Teoria da Computação, Teoria da Prova, Fundações da Criptografia. Tem sete alunos doutores no ramo da Lógica Matemática e Ciência da Computação Teórica.
