Judson Santos Santiago

Possui graduação em Engenharia de Computação pela Universidade Federal do Rio Grande do Norte, mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais e doutorado em Ciência da Computação pela Université Nancy 2, França. Tem experiência na área de Ciência da Computação, tendo atuado principalmente nos seguintes temas: descrição de hardware, métodos formais, particionamento de programas e verificação de protocolos criptográficos. Atualmente trabalha com programação e arquitetura de motores para jogos e ministra as disciplinas de Programação de Computadores, Computação Gráfica e Programação de Jogos na Universidade Federal Rural do Semi-Árido.

Informações coletadas do Lattes em 19/02/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2003 - 2006

Université Nancy 2
Título: Spécification et analyse de protocoles complexes dans AVISPA
Orientador: Laurent Vigneron; Michael Rusinowitch
Bolsista do(a): Institut National de Recherche en Informatique et Automatique, INRIA, França. Palavras-chave: Análise de Protocolos; Protocolos Cryptográficos; Protocolos de Internet.Grande área: Ciências Exatas e da TerraSetores de atividade: Fabricação de Aparelhos e Equipamentos de Telecomunicação; Consultoria em Sistemas de Informática; Desenvolvimento de Programas (Software).

Mestrado em Ciências da Computação

2001 - 2003

Universidade Federal de Minas Gerais
Título: Particionador Simbólico de Programas, Ano de Obtenção: 2003
Sérgio Vale Aguiar Campos.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Vérificação de Software; Métodos Formais; Particionamento de Programas.Grande área: Ciências Exatas e da TerraSetores de atividade: Desenvolvimento de Programas (Software).

Graduação em Engenharia de Computação

1996 - 2000

Universidade Federal do Rio Grande do Norte
Título: Novo Fluxo de Desenvolvimento de Circuitos Digitais Integrados
Orientador: David Boris Paul Déharbe
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Ensino Médio (2º grau)

1993 - 1995

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

Ensino Fundamental (1º grau)

1988 - 1992

Colégio Salesiano São José

Idiomas

Inglês

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

Português

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

Francês

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

Á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: Linguagem Formais e Autômatos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes de Computadores.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Processamento Gráfico (Graphics).

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Desenvolvimento de Jogos e Simulações.

Participação em eventos

Workshop in Information Security Theory and Practices (WISTP'2007). Optimistic Non-repudiation Protocol Analysis. 2007. (Congresso).

Proceedings of 3rd Taiwanese-French Conference on Information Technology (TFIT). Automatically Analysing Non-repudiation with Authentication. 2006. (Congresso).

17th International Conference on Computer Aided Verification, CAV'2005. The AVISPA Tool for the automated validation of internet security protocols and applications. 2005. (Congresso).

Colloque sur les Risques et la Sécurité d?Internet et des Systèmes (CRiSIS).Study for Automatically Analysing Non-repudiation. 2005. (Simpósio).

Approches Formelles dans l?Assistance au Développement de Logiciels (AFADL). Analyse Automatique de Protocoles avec Atse. 2004. (Congresso).

3rd Worshop on Formal Methods. Geração Automática de FPGAs Usando Modelos Formais. 2000. (Congresso).

I Escola Norte/Nordeste de Engenharia de Computação. 2000. (Seminário).

XI Congresso de Iniciação Científica da UFRN. Desenvolvimento de FPGAs utilizando métodos formais. 2000. (Congresso).

X Congresso de Iniciação Científica da UFRN. Integrando Métodos Formais ao Processo de Concepção de Circuitos Digitais. 1999. (Congresso).

XII Simpósio Brasileiro de Concepção de Circuitos Integrados. 1999. (Simpósio).

XI Simposium on Cumputer Arquitecture and High Performance. 1999. (Simpósio).

IX Congresso de Iniciação Científica da UFRN. Síntese de Circuitos Digitais, Uma Abordagem Formal. 1998. (Congresso).

Participação em bancas

Judson Santos Santiago; Pedro Fernandes Ribeiro Neto; Ricardo Wagner de Araújo. Concurso para Professor Efetivo de Estrutura de Dados e Programação. 2008. Universidade Federal do Rio Grande do Norte.

Judson Santos Santiago; Iguatemi Eduardo da Fonseca; Helcio Wagner da Silva. Concurso para Professor Substituto de Informática Básica, Informática Aplicada e Programação Aplicada à Engenharia. 2008. Universidade Federal Rural do Semi-Árido.

Judson Santos Santiago; Umberto Souza da Costa; Angélica Félix de Castro. Concurso para Professor Efetivo de Análise de Algoritmos. 2008. Universidade Federal Rural do Semi-Árido.

Álvaro Francisco de Castro Medeiros;Judson Santos Santiago; Angélica Félix de Castro. Concurso para Professor Efetivo de Software Básico e Sistemas Operacionais. 2008. Universidade Federal Rural do Semi-Árido.

Álvaro Francisco de Castro Medeiros; Angélica Félix de Castro;Judson Santos Santiago. Concurso para Professor Efetivo de Linguagens Formais e Autômatos e Métodos Formais. 2008. Universidade Federal Rural do Semi-Árido.

Orientou

PEDRO DAVID ROCHA SALDANHA

Detecção de Colisão 2D; Início: 2023; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Rural do Semi-Árido, PICI/UFERSA; (Orientador);

Natalio Jorge da Silva Junior

CRIAÇÃO DE UM CONSOLE DE DEPURAÇÃO PARA UM MOTOR DE JOGO; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido; Orientador: Judson Santos Santiago;

FELIPE NASCIMENTO RIBEIRO

UM NOVO HORIZONTE PARA APLICAÇÕES WEB: Desenvolvimento de um compilador C++ para WASM; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido; Orientador: Judson Santos Santiago;

NOBERTO ANDREY RODRIGUES DE NEGREIROS

IMPLEMENTAÇÃO DE UM SISTEMA DINÂMICO DE FONTES PARA UM MOTOR DE JOGOS; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido; Orientador: Judson Santos Santiago;

Andre Vitor de Souza e Silva

IMPLEMENTAÇÃO DE UM SISTEMA DE COMPONENTES PARA UM MOTOR DE JOGOS; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido; Orientador: Judson Santos Santiago;

Produções bibliográficas

J. Santiago ; Laurent Vigneron . Optimistic Non-repudiation Protocol Analysis. In: Workshop in Information Security Theory and Practices (WISTP'2007), 2007, Heraklion. Proceedings of the Workshop in Information Security Theory and Practices (WISTP'2007), Smart Cards, Mobile and Ubiquitous Computing Systems, 2007. v. 4462. p. 90-101.
SANTIAGO, J. S. ; Laurent Vigneron . Automatically Analysing Non-repudiation with Authentication. In: Proceedings of 3rd Taiwanese-French Conference on Information Technology (TFIT), 2006, Nancy. Proceedings of 3rd Taiwanese-French Conference on Information Technology (TFIT), 2006. p. 541-554.
SANTIAGO, J. S. ; Laurent Vigneron . Study for Automatically Analysing Non-repudiation. In: Colloque sur les Risques et la Sécurité d?Internet et des Systèmes (CRiSIS), 2005, Bourges. Colloque sur les Risques et la Sécurité d?Internet et des Systèmes (CRiSIS), 2005. p. 157-171.
ARMANDO, A. ; D.Basin ; Y. Boichut ; Y. Chevalier ; L. Compagna ; J. Cuellar ; P. Hankes Drielsma ; SANTIAGO, J. S. ; S. Mödersheim ; M. Turuani ; L. Viganò ; Laurent Vigneron . The AVISPA Tool for the automated validation of internet security protocols and applications. In: 17th International Conference on Computer Aided Verification, CAV'2005, 2005, Edinburgh. 17th International Conference on Computer Aided Verification, CAV'2005, 2005. v. 3576. p. 281-285.
SANTIAGO, J. S. . Analyse automatique de protocoles avec AtSe. In: Approches Formelles dans l?Assistance au Développement de Logiciels (AFADL), 2004, Besançon. Congrès Approches Formelles dans l'Assistance au Développement de Logiciels. Besançon: J. Julliand, 2004. p. 112-116.
SANTIAGO, J. S. ; DÉHARBE, D. B. P. . Geração Automática de FPGAs Usando Modelos Formais. In: 3rd Worshop on Formal Methods, 2000, João Pessoa-PB. 3rd Worshop on Formal Methods, 2000.
SANTIAGO, J. S. ; DÉHARBE, D. B. P. . An Automatic Design Flow From Formal Methods To FPGA. In: XX Congresso da Sociedade Brasileira de Computação, 2000, Curitiba-PR. XX Congresso da Sociedade Brasileira de Computação, 2000.
SANTIAGO, J. S. ; DÉHARBE, D. B. P. . Desenvolvimento de FPGAs Utilizando Métodos Formais. In: XI Congresso de Iniciação Científica da UFRN, 2000, Natal-RN. XI Congresso de Iniciação Científica da UFRN, 2000.
SANTIAGO, J. S. ; DÉHARBE, D. B. P. . Integrando Métodos Formais ao Processo de Concepção de Circuitos Digitais. In: X Congresso de Iniciação Científica da UFRN, 1999, Natal-RN. X Congresso de Iniciação Científica da UFRN, 1999.
SANTIAGO, J. S. ; DÉHARBE, D. B. P. . Síntese de Circuitos Digitais, Uma Abordagem Formal. In: IX Congresso de Iniciação Científica da UFRN, 1998, Natal-RN. IX Congresso de Iniciação Científica da UFRN, 1998.

Outras produções

M. Turuani ; Judson Santiago . CL-AtSe. 2006.

Judson Santiago . AVISPA Tool (Web Interface). 2005.

Judson Santiago . SmVHDL. 2000.

Francis Klay ; Judson Santiago ; Laurent Vigneron . Automatic Methods for Analyzing Non-Repudiation Protocols. 2007. (Relatório de pesquisa).

Projetos de pesquisa

2020 - Atual

Detecção de Colisão em Jogos 2D, Descrição: O objetivo desse trabalho é estudar os métodos de colisão 2D existentes, estudar os métodos 3D que podem ser aplicados no mundo bidimensional, e implementar os melhores métodos em uma biblioteca. Espera-se que esse trabalho possa fomentar o desenvolvimento de técnicas novas e mais eficientes para a detecção de colisão em duas dimensões.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Judson Santos Santiago - Coordenador.
2020 - Atual

Motor Didático para o Desenvolvimento de Jogos, Descrição: O objetivo deste trabalho é explorar a tecnologia de desenvolvimento de motores de jogos para implementar melhorias ao motor didático que foi construído e é atualmente utilizado na disciplina de Desenvolvimento de Jogos do Curso de Ciência da Computação da UFERSA.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Judson Santos Santiago - Coordenador.

Prêmios

2000

2° melhor trabalho do CTIC - Concurso de Trabalhos de Iniciação Científica, XX Congresso da Sociedade Brasileira de Computação.

2000

Mensão honrosa na categoria relátório de atividades - trabalho citado entre os 5 melhores, XI Congresso de Iniciação Científica da UFRN.

1999

Menção honrosa pela participação em, ACM International Collegiate Programming Contest.

Histórico profissional

Endereço profissional

Universidade Federal Rural do Semi-Árido, Departamento de Ciências Ambientais. , BR 110 - Km 47, Pres. Costa e Silva, 59625900 - Mossoró, RN - Brasil

Experiência profissional

2008 - Atual

Universidade Federal Rural do Semi-Árido

Vínculo: Servidor Público, Enquadramento Funcional: Professor Efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

07/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Desenvolvimento de Jogos, Programação de Computadores
02/2008
Pesquisa e desenvolvimento, Departamento de Ciências Exatas e Naturais.,Linhas de pesquisa
11/2008 - 03/2012
Direção e administração, Departamento de Ciências Exatas e Naturais.,Cargo ou função, Coordenador de Curso.
03/2011 - 06/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores T1, Programação de Computadores T2
07/2010 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação Aplicada a Engenharia, Programação de Computadores T1, Programação de Computadores T2
03/2009 - 06/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Programação de Computadores
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Teoria de Grafos, Estrutura de Dados, Laboratório de Linguagens de Programação
03/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Programação Aplicada à Engenharia, Teoria dos Grafos

2007 - 2007

Universidade Federal do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40, Regime: Dedicação exclusiva.

1998 - 2000

Universidade Federal do Rio Grande do Norte

Vínculo: Bolsista CNPq, Enquadramento Funcional: Livre, Carga horária: 20

Atividades

07/2007 - 12/2007
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados III, Linguagens de Programação, Prática de Conceitos e Técnicas de Programação
03/2007 - 12/2007
Pesquisa e desenvolvimento, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Linhas de pesquisa
03/2007 - 07/2007
Ensino, Engenharias, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação de Computadores, Linguagens de Programação
03/1998 - 11/2000
Pesquisa e desenvolvimento, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Linhas de pesquisa

2005 - 2006

Université Nancy 2

Vínculo: Aluno de Doutorado, Enquadramento Funcional: Professor Temporário, Carga horária: 20

Outras informações:
Alunos de doutorado podiam exercer atividades docentes, lecionando cursos de graduação.

Atividades

09/2003 - 11/2006
Pesquisa e desenvolvimento, Laboratoire de Recherche en Informatique et ses Applications.,Linhas de pesquisa
02/2006 - 06/2006
Ensino, Letras e cultura estrangeira, Nível: Graduação,Disciplinas ministradas, Certificação de Internet e Informática
09/2005 - 01/2006
Ensino, Administração, Nível: Graduação,Disciplinas ministradas, Certificação de Internet e Informática

2002 - 2002

Universidade Federal de Minas Gerais

Vínculo: Bolsista de Mestrado, Enquadramento Funcional: Livre, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Atividades de docência eram um componente obrigatório para alunos bolsistas do Mestrado.

Atividades

03/2001 - 03/2003
Pesquisa e desenvolvimento, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
03/2002 - 06/2002
Ensino, Engenharia Química, Nível: Graduação,Disciplinas ministradas, Introdução à Programação de Computadores

2003 - 2003

Faculdades Integradas de Pedro Leopoldo

Vínculo: Professor, Enquadramento Funcional: Contrato temporário, Carga horária: 20

Atividades

05/2003 - 09/2003
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação I, Linguagem de Programação II

1996 - 1996

Sic Informática

Vínculo: Instrutor, Enquadramento Funcional: Contrato temporário, Carga horária: 10

Atividades

07/1996 - 11/1996
Ensino,,Disciplinas ministradas, Computação Gráfica (Corel Draw), Editoração Eletrônica (Pagemaker)