Umberto Rivieccio

Possui doutorado em Filosofia pela Universidade de Gênova(2010). Atualmente é Professor Adjunto da Universidade Federal do Rio Grande do Norte, da Delft University of Technology, Revisor de periódico da Logica Universalis (Print), Revisor de periódico da Logica Universalis (Print), Revisor de periódico da University of Lodz. Department of Logic. Bulletin of the Section of Logic, Revisor de periódico da Studia Logica, Revisor de periódico da Algebra Universalis, Revisor de periódico da LOGIC JOURNAL OF THE IGPL, Revisor de periódico da JOURNAL OF LOGIC AND COMPUTATION, Revisor de periódico da Journal of Applied Logic, Revisor de periódico da Journal of Philosophical Logic, Revisor de periódico da Central European Journal of Mathematics (Print) e Revisor de periódico da ARTIFICIAL INTELLIGENCE. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Bilattice, Algebraic logic.

Informações coletadas do Lattes em 22/08/2025

Acadêmico

Formação acadêmica

Doutorado em Filosofia

2007 - 2010

Universidade de Gênova
Título: An algebraic study of bilattice-based logics
Orientador: Luisa Montecucco
com Coorientador: Ramon Jansana. Bolsista do(a): Università di Genova, UNIGE, Itália. Palavras-chave: Bilattice; Algebraic logic.Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Italiano

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Catalão

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Participação em bancas

Aluno: Vitor Rodrigues Greati

RIVIECCIO, U.ALMEIDA, J. M.CALEIRO, C.MARCELINO, SÉRGIO; ZOHAR, Y.; RAMANAYAKE, R.. Hilbert-style formalism for two-dimensional notions of consequence. 2022. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação (PPgSC) - Universidade Federal do Rio Grande do Norte.

Aluno: Thiago Nascimento da Silva

RIVIECCIO, U.Marcos, João; MARIANO, H. L.. A lógica S de Nelson e sua semântica algébrica. 2018. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação (PPgSC) - Universidade Federal do Rio Grande do Norte.

Aluno: Paulo Beltrão Maia

RIVIECCIO, U.; PIMENTEL, E. G.; KUZMIN, A.; ALVIM, M. S. F.. Dualidades: de Birkhoff a N4-reticulados limitados. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.

Aluno: Thiago Nascimento da Silva

RIVIECCIO, U.ALMEIDA, J. M.FLAMINIO, TOMMASO; LIANG, FEI;BUSANICHE, M.. Algebraic Semantics and Calculi for Nelson's logics. 2022. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Rui Brasileiro Paiva

RIVIECCIO, U.SANTIAGO, REGIVANBEDREGAL, BENJAMIN; CERAMI, M.; BERGAMASCHI, F. B.; VIANA, J. P.. Uma extensão de overlaps e naBL-álgebras para reticulados. 2019. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Orientou

Clodomir Silva Lima Neto

Quasi-Nelson logics; Início: 2021; Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação (PPgSC) - Universidade Federal do Rio Grande do Norte; (Orientador);

Joel Felipe Ferreira Gomes

On the logic of involutive Stone algebras; Início: 2020; Dissertação (Mestrado profissional em Programa de Pós-graduação em Ciência da Computação (PPgSC) - Universidade Federal do Rio Grande do Norte; (Orientador);

Thiago Nascimento da Silva

Nelson's logics; Início: 2018; Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte; (Coorientador);

Histórico profissional

Endereço profissional

Universidade Federal do Rio Grande do Norte. , Travessa Senador Salgado Filho, Candelária, 59064741 - Natal, RN - Brasil, Telefone: (84) 998536809

Experiência profissional

2013 - Atual

Delft University of Technology

Vínculo: , Enquadramento Funcional:

2011 - 2013

University of Birmingham

Vínculo: , Enquadramento Funcional:

2015 - Atual

Universidade Federal do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto