Professor Ruy Guerra participará de evento no Steklov Mathematical Institute em homenagem aos 125 anos do matemático russo Petr Sergeevich Novikov
O professor Ruy Guerra, do Centro de Informática (CIn) da UFPE, foi convidado para ser palestrante em uma conferência internacional organizada pelo Steklov Mathematical Institute of Russian Academy of Sciences, em Moscou, na Rússia. O evento celebra o 125º aniversário de nascimento do matemático russo Petr Sergeevich Novikov, reconhecido como um dos pioneiros da lógica matemática na Rússia.
A conferência, intitulada “Novikov-125: International Conference Dedicated to the 125th Anniversary of P.S. Novikov”, será realizada entre os dias 24 e 28 de agosto de 2026, reunindo especialistas de diferentes países para discutir avanços em áreas relacionadas à lógica matemática, álgebra e teoria da computação, campos profundamente influenciados pelas contribuições de Novikov.
“É empolgante vislumbrar a participação nesse encontro, em se tratando de um evento científico internacional organizado em um instituto de grande tradição na matemática e ciência da computação. Trata-se de uma excelente oportunidade para apresentar, a um seleto grupo, alguns resultados de um trabalho desenvolvido há algum tempo sobre a fundamentação da teoria da computação”, destacou o professor.
Ao todo, 38 pesquisadores foram convidados para palestrar, sendo a grande maioria de instituições russas. Entre os participantes internacionais, apenas quatro são de fora da Rússia, entre eles, o professor Ruy Guerra, representando o Brasil e o CIn-UFPE. O convite reforça o reconhecimento internacional da pesquisa desenvolvida pelo professor e pelo Centro em áreas ligadas à matemática e à computação teórica.
Sobre Ruy de Queiroz – Mestre em Ciência da Computação pela UFPE e doutor pelo Imperial College de Londres, é professor titular do CIn-UFPE. Ao longo de sua trajetória acadêmica e profissional, trabalhou na reformulação da teoria dos tipos de Martin-Löf baseada numa nova leitura do conceito ‘significado é uso’ de Wittgenstein. Além disso, trabalha desde a década de 1990, junto com Dov M. 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 rotulada. Integrou o Comitê de Premiação da Medalha John Von Neumann do IEEE nos anos 2020, 2021 e 2022.
Comentários desativados