Regivan Hugo Nunes Santiago

Possui graduação em Tecnologia de Processamento de Dados pelo Centro de Estudos Superiores do Pará (1993), mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1995) e doutorado em Ciências da Computação pela Universidade Federal de Pernambuco (1999). De 2007 a 2008 realizou seu sabático junto ao Centro Alemão de Inteligência Artificial em Bremen-Alemanha. De 2019 a 2020 realizou estágio sênior na Universidad Publica de Navarra em Pamplona-Espanha. Atualmente é Professor Titular da Universidade Federal do Rio Grande do Norte (UFRN). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: Matemática Intervalar - fundamentos e aplicações, Especificação Formal, Teoria dos Domínios, Sistemas/ LógicasFuzzy, Lógica e Semântica. No período de 2004-2005 coordenou o curso de pós-graduação em Sistemas e Computação da UFRN e exerceu o cargo de Secretário Regional da Sociedade Brasileira de Matemática Aplicada e Computacional.

graduate at Tecnólogo Em Processamento de Dados from Centro de Estudos Superiores do Pará (1993), master's at Computer Science from Universidade Federal de Pernambuco (1995) and ph.d. at Computer Science from Universidade Federal de Pernambuco (1999). Has experience in Computer Science, focusing on Theory of Computiation, acting on the following subjects: Fuzzy Sets and Logics; Interval Mathematics and Domain Theory.