Ranking de 2024 foi divulgado na quarta-feira, 27/09

O Professor do CIn-UFPE, Ruy de Queiroz, integra o ranking de 2025 dos ex-alunos famosos da Universidade Federal de Pernambuco, publicado no The World University Rankings da revista Times Higher Education. O periódico britânico é voltado para a publicação de notícias e questões relativas ao ensino superior. 

A citação do Professor Ruy de Queiroz no ranking acontece de maneira recorrente há alguns anos. Além dele, também são reconhecidos o ator Irandhir Santos e o político Christovam Buarque. Sendo Ruy o único matemático e profissional da área de Computação citado pela revista entre os nomes de destaque das universidades brasileiras.

Sobre Ruy de Queiroz:  Ao longo de sua trajetória acadêmica e profissional, Ruy de Queiroz ofereceu uma reformulação da teoria dos tipos de Martin-Löf baseada numa nova leitura do conceito ‘significado é uso’ de Wittgenstein. Recentemente, novas evidências extraídas do Nachlass (escritos póstumos) de Wittgenstein disponibilizados para acesso de busca e leitura pela Universidade de Bergen (Noruega) reforçam as bases para as conexões entre lógica, teoria da computação e teoria da homotopia propostas pelo Professor Ruy. O pesquisador também trabalha desde a década de 1990 junto 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. 

Além disso, desde o início dos anos 2000, o docente centra seus esforços na investigação, junto à Anjolina de Oliveira, a respeito de uma perspectiva geométrica da dedução natural apoiada numa consideração baseada em grafos da dedução natural simétrica de Kneale.

O professor dispõe de mestrado em Ciência da Computação no CIn-UFPE e doutorado pelo Imperial College, localizado em Londres, no Reino Unido.

Comentários desativados

Sobre este site

Portal institucional do Centro de Informática – UFPE

Encontre-nos

Endereço
Av. Jornalista Aníbal Fernandes, s/n – Cidade Universitária.
Recife-PE – Brasil
CEP: 50.740-560

Horário
Segunda–Sexta: 8:00–18:00