Biografia
Possui graduação em Engenharia Elétrica pela Universidade Federal do Rio Grande do Norte (1988) e Bacharelado em Filosofia pela Universidade Federal do Rio Grande do Norte (2013) , especialização em Engenharia de Sistemas pela Universidade Federal do Rio Grande do Norte (1992), mestrado em Engenharia Mecânica pela Universidade Federal do Rio Grande do Norte (1997) e doutorado em Engenharia Elétrica pela Universidade Federal do Rio Grande do Norte (2005). Atualmente é Professor Associado da Universidade Federal do Rio Grande do Norte lotado na Escola de Ciências e Tecnologia(C&T). Tem experiência na área de Matemática, Lógica, Eletrotécnica, Ciência da Computação, com ênfase em Matemática da Computação, atuando principalmente nos seguintes temas: raciocínio procedural, prs, verificação formal, redes de petri coloridas e linguagens de programação.
Formação Acadêmica
Áreas de Atuação
Não foi encontrada nenhuma informação para esta seção.
Contatos
E-mail
ricardo.araujo@ufrn.br