Ruy de Queiroz

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. Fornecido pela Wikipedia