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