Diretório de grupos de pesquisa|
Judson Santos Santiago possui graduação em Engenharia de Computação pela Universidade Federal do Rio Grande do Norte (2000), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (2003) e doutorado em Ciências da Computação pela Université Nancy 2, França (2006). Tem experiência na área de Ciências 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. Recentemente começou a trabalhar com desenvolvimento de jogos.
Última
atualização do currículo em 05/02/2010
Endereço para acessar este CV: http://lattes.cnpq.br/0501504331465384 |
Dados pessoais
| Nome | Judson Santos Santiago |
| Nome em citações bibliográficas | SANTIAGO, J. S.;Judson Santiago;J. Santiago; J. Santos Santiag;Judson Santos Santiago |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal Rural do Semi-Árido, Departamento de Ciências Ambientais. BR 110 - Km 47 Pres. Costa e Silva 59625-900 - Mossoro, RN - Brasil |
Formação acadêmica/Titulação
| 2003 - 2006 | Doutorado em Ciências da Computação
.
Université Nancy 2. Título: Spécification et analyse de protocoles complexes dans AVISPA, Ano de Obtenção: 2006. Orientador: Laurent Vigneron; Michael Rusinowitch. Bolsista do(a): Institut National de Recherche en Informatique et Automatique . Palavras-chave: Análise de Protocolos; Protocolos Cryptográficos; Protocolos de Internet. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Fabricação de Aparelhos e Equipamentos de Telecomunicação; Consultoria em Sistemas de Informática; Desenvolvimento de Programas (Software). |
| 2001 - 2003 | Mestrado em Ciências da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. Título: Particionador Simbólico de Programas, Ano de Obtenção: 2003. Orientador:  Sérgio Vale Aguiar Campos.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico . Palavras-chave: Vérificação de Software; Métodos Formais; Particionamento de Programas. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Desenvolvimento de Programas (Software). |
| 1996 - 2000 | Graduação em Engenharia de Computação
.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil. 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 . |
| 1993 - 1995 | Curso técnico/profissionalizante em Mecânica
.
Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. |
| 1993 - 1995 | Ensino Médio (2º grau)
.
Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. |
| 1988 - 1992 | Ensino Fundamental (1º grau)
.
Colégio Salesiano São José. |
Formação complementar
| 2000 - 2000 | Extensão universitária em Sistemas Embarcados. (Carga
horária: 8h). Universidade Federal de Pernambuco. |
| 2000 - 2000 | Extensão universitária em Microcontroladores. (Carga
horária: 8h). Universidade Federal de Pernambuco. |
| 2000 - 2000 | Extensão universitária em Prototipação Rápida de Circuitos Integrados. (Carga
horária: 8h). Universidade Federal de Pernambuco. |
| 2000 - 2000 | Extensão universitária em Automação Industrial/Robótica. (Carga
horária: 10h). Universidade Federal de Pernambuco. |
| 1994 - 1994 | Introdução ao Pascal.
(Carga horária: 60h). Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. |
Atuação profissional
| Universidade Federal Rural do Semi-Árido, UFERSA, Brasil. |
| Vínculo institucional |
| 2008 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Efetivo, Carga horária: 40, Regime: Dedicação exclusiva. |
| Atividades |
| 03/2009 - Atual | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Programação de Computadores Estrutura de Dados |
| 11/2008 - Atual | Direção e administração, Departamento de Ciências Ambientais, . |
| Cargo ou função Coordenador de Curso. |
| 02/2008 - Atual | Pesquisa e desenvolvimento , Departamento de Ciências Ambientais, . |
|
Linhas de pesquisa Desenvolvimento de Jogos e Simulações |
| 8/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 |
| Université Nancy 2, NANCY 2, França. |
| Vínculo institucional |
| 2005 - 2006 | 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 Verificação de Protocolos Criptográficos |
| 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 |
| Faculdades Integradas de Pedro Leopoldo, FIPEL, Brasil. |
| Vínculo institucional |
| 2003 - 2003 | 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 |
| Universidade Federal de Minas Gerais, UFMG, Brasil. |
| Vínculo institucional |
| 2002 - 2002 | 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 Particionamento Simbólico de Programas |
| 03/2002 - 06/2002 | Ensino, Engenharia Química, Nível: Graduação. |
| Disciplinas ministradas Introdução à Programação de Computadores |
| Universidade Federal do Rio Grande do Norte, UFRN, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40, Regime: Dedicação exclusiva. |
| Vínculo institucional |
| 1998 - 2000 | 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 Desenvolvimento de Jogos e Simulações |
| 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 Métodos formais para a concepção de sistemas digitais |
| Sic Informática, SIC, Brasil. |
| Vínculo institucional |
| 1996 - 1996 | Vínculo: Instrutor, Enquadramento Funcional: Contrato temporário, Carga horária: 10 |
| Atividades |
| 07/1996 - 11/1996 | Ensino, Nível: Outro. |
| Disciplinas ministradas Computação Gráfica (Corel Draw) Editoração Eletrônica (Pagemaker) |
Linhas de Pesquisa
| 1. | Verificação de Protocolos Criptográficos |
| Objetivos: Nos dias atuais, cada vez mais atividades são realizadas pela internet ou por um meio eletrônico que minimiza a intervenção humana. Entretanto, os meios de comunicação são fortemente dependentes dos protocolos de comunicação. Para aplicações críticas, como a transferência de dados bancários, por exemplo, é preciso garantir certos níveis de segurança. Por esta razão, a maioria das transações seguras utiliza protocolos criptográficos. No entanto a utilização da criptografia é insuficiente para garantir a segurança de um sistema de comunicação. A maior parte dos ataques conhecidos é baseada em princípios muito mais simples, como o bloqueio ou modificação de mensagens que circulam no canal de comunicação. Essa segurança só pode ser obtida pela utilização de ferramentas de análise e verificação formais. O objetivo dessa linha de pesquisa é investigar e programar novas ferramentas de análise e verificação de protocolos criptográficos.. Palavras-chave: Protocolos de Internet; Protocolos Cryptográficos; Métodos Formais. |
| 2. | Métodos formais para a concepção de sistemas digitais |
| Objetivos: A construção de software é uma tarefa extremamente propensa a erros. As mesmas dificuldades encontradas no desenvolvimento de software são também encontradas na realização de um programa em hardware. Hoje em dia as tecnologias de chips programáveis nos permitem programar em hardware qualquer funcionalidade feita por software. Para aliviar estes problemas decorrentes de erros na programação de hardware, a indústria passou a adotar métodos e ferramentas formais capazes de verificar descrições de hardware. Esta linha de pesquisa tem como objetivo desenvolver novas técnicas e ferramentas que utilizem métodos formais para a verificação de descrições de hardware.. Palavras-chave: SMV; VHDL; FPGA; Métodos Formais; Descrição de Hardware. |
| 3. | Desenvolvimento de Jogos e Simulações |
| Objetivos: Jogos e simulações são softwares complexos que abrangem todos os campos da ciência da computação. A construção de um software dessa natureza compreende a construção de vários subsistemas: um motor gráfico, um motor de áudio e música, um motor de física, um componente de rede, um componente de inteligência artificial, além da utilização de métodos de engenharia de software para integrar todos estes componentes. O objetivo dessa linha de pesquisa é investigar e melhorar as técnicas empregadas no desenvolvimento de cada um destes componentes para a criação de um ambiente de desenvolvimento de jogos e simulações.. 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. 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: Sistemas de Computação / Especialidade: Redes de Computadores. Palavras-chave: Jogos; Simulações; Computação Gráfica. |
| 4. | Particionamento Simbólico de Programas |
| Objetivos: Particionamento de programas (program slicing) é uma técnica de decomposição que extrai de um programa as instruções relevantes para uma determinada computação. Informalmente, uma partição de programa responde a pergunta "Quais instruções do meu programa afetam a computação da variável v na instrução i?". Uma partição possui a mesma execução que o programa original no que diz respeito à variável alvo. Esta técnica é utilizada para assistir em tarefas tediosas e propensas a erros, como na depuração, teste, paralelismo, integração e manutenção de software. Esta linha de pesquisa visa utilizar uma representação simbólica do programa e métodos formais para encontrar formas mais eficientes para a obtenção de uma partição de programa.
. Palavras-chave: Vérificação de Software; Particionamento de Programas. |
| 5. | Desenvolvimento de Jogos e Simulações |
| Objetivos: Jogos e simulações são softwares complexos que abrangem todos os campos da ciência da computação. A construção de um software dessa natureza compreende a construção de vários subsistemas: um motor gráfico, um motor de áudio e música, um motor de física, um componente de rede, um componente de inteligência artificial, além da utilização de métodos de engenharia de software para integrar todos estes componentes. O objetivo dessa linha de pesquisa é investigar e melhorar as técnicas empregadas no desenvolvimento de cada um destes componentes para a criação de um ambiente de desenvolvimento de jogos e simulações.. |
Áreas de atuação
| 1. | 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. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Redes de Computadores. |
| 3. | 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). |
| 4. | 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. |
Idiomas
| Português | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Francês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 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 | Mensão horosa pela participação em "The 1999 South America Programming Contest", ACM International Collegiate Programming Contest. |
Produção em C,T & A
| Produção bibliográfica |
| Trabalhos completos publicados em anais de congressos |
| 1. |  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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| Resumos publicados em anais de congressos |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | M. Turuani ; Judson Santiago . CL-AtSe. 2006. |
| 2. | Judson Santiago . AVISPA Tool (Web Interface). 2005. |
| 3. | Judson Santiago . SmVHDL. 2000. |
| Demais tipos de produção técnica |
| 1. | Francis Klay ; Judson Santiago ; Laurent Vigneron . Automatic Methods for Analyzing Non-Repudiation Protocols. 2007. (Relatório de pesquisa). |
Bancas
| Participação em bancas de comissões julgadoras |
| Concurso público |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | Á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. |
| 5. | Á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. |
Eventos
| Participação em eventos |
| 1. | Workshop in Information Security Theory and Practices (WISTP'2007).Optimistic Non-repudiation Protocol Analysis. 2007. (Congresso). |
| 2. | Proceedings of 3rd Taiwanese-French Conference on Information Technology (TFIT).Automatically Analysing Non-repudiation with Authentication. 2006. (Congresso). |
| 3. | 17th International Conference on Computer Aided Verification, CAV'2005.The AVISPA Tool for the automated validation of internet security protocols and applications. 2005. (Congresso). |
| 4. | Colloque sur les Risques et la Sécurité d Internet et des Systèmes (CRiSIS).Study for Automatically Analysing Non-repudiation. 2005. (Simpósio). |
| 5. | Approches Formelles dans l Assistance au Développement de Logiciels (AFADL).Analyse Automatique de Protocoles avec Atse. 2004. (Congresso). |
| 6. | 3rd Worshop on Formal Methods.Geração Automática de FPGAs Usando Modelos Formais. 2000. (Congresso). |
| 7. | XI Congresso de Iniciação Científica da UFRN.Desenvolvimento de FPGAs utilizando métodos formais. 2000. (Congresso). |
| 8. | I Escola Norte/Nordeste de Engenharia de Computação. 2000. (Seminário). |
| 9. | X Congresso de Iniciação Científica da UFRN.Integrando Métodos Formais ao Processo de Concepção de Circuitos Digitais. 1999. (Congresso). |
| 10. | XII Simpósio Brasileiro de Concepção de Circuitos Integrados. 1999. (Simpósio). |
| 11. | XI Simposium on Cumputer Arquitecture and High Performance. 1999. (Simpósio). |
| 12. | IX Congresso de Iniciação Científica da UFRN.Síntese de Circuitos Digitais, Uma Abordagem Formal. 1998. (Congresso). |
| Página gerada pelo Sistema Currículo Lattes em 12/02/2012 às 4:50:05 |