Jefferson de Barros Santos

  • Endereço para acessar este CV: http://lattes.cnpq.br/9278422103738680
  • Última atualização do currículo em 31/10/2017


Doutor em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), com período sanduíche no Institut National de Recherche en Informatique et en Automatique (INRIA), na França. Membro colaborador do Laboratório de Tecnologias em Métodos Formais (TecMF) da PUC-Rio. Tem como principal interesse de pesquisa a área de Lógica, especificamente em Teoria da Prova e no desenvolvimento de provadores automáticos e semi-automáticos para diferentes lógicas. Atualmente coordena o Núcleo de Computação da Escola Brasileira de Administração Pública e de Empresas da Fundação Getúlio Vargas (EBAPE/FGV), onde também é professor e leciona disciplinas de programação para os cursos de graduação em Administração e Economia. (Texto informado pelo autor)


Identificação


Nome
Jefferson de Barros Santos
Nome em citações bibliográficas
SANTOS, Jefferson de Barros;SANTOS, J. B.;DE BARROS SANTOS, JEFFERSON

Endereço


Endereço Profissional
Fundação Getúlio Vargas, Escola Brasileira de Administração Pública e de Empresas.
Rua Praia de Botafogo, 190
Botafogo
22250-900 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 37995813
URL da Homepage: www.fgv.br/ebape


Formação acadêmica/titulação


2012 - 2017
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
com período sanduíche em Centre de Recherche Inria Saclay - Île-de-France (Orientador: Gilles Dowek).
Título: Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic, Ano de obtenção: 2017.
Orientador: Edward Hermann Haeusler.
Coorientador: Gilles Dowek.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Lógica; Lógica Proposicional Minimal Implicaciones; Cálculo de Sequentes; Busca de Provas; Geração de Contra-modelo.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Prova de Teoremas.
2007 - 2010
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Infraestrutura para Provadores Interativos de Teoremas na Web,Ano de Obtenção: 2010.
Orientador: Edward Hermann Haeusler.
Grande área: Ciências Exatas e da Terra
2004 - 2006
Graduação em Bacharelado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Construção de um ambiente integrado, baseado na plataforma Eclipse, para desenvolvimento e utilização de provadores de teoremas.
Orientador: Fernando Náufel do Amaral.
1998 - 2002
Graduação em Tecnologia em Processamento de Dados.
Universidade Estácio de Sá, UNESA, Brasil.
Título: XManager: uma ferramenta para gerenciamento de projetos baseados em metodologias ágeis.
Orientador: Gustavo Miranda Araújo.
1992 - 1995
Curso técnico/profissionalizante.
Escola Técnica Pandiá Calógeras, ETPC, Brasil.




Atuação Profissional



Fundação Getúlio Vargas, FGV, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Celetista formal, Enquadramento Funcional: Coordenador de TI, Carga horária: 40

Atividades

08/2012 - Atual
Ensino, Ciências Econômicas, Nível: Graduação

Disciplinas ministradas
Macros para Excel e VBA
02/2012 - Atual
Ensino, Administração, Nível: Graduação

Disciplinas ministradas
Introdução à TI
Macros para Excel e VBA
04/2010 - Atual
Serviços técnicos especializados , ESCOLA BRASILEIRA DE ADMINISTRAÇÃO PÚBLICA E DE EMPRESAS, .

Serviço realizado
Coordenador de TI.

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2012 - 2015
Vínculo: Bolsista, Enquadramento Funcional: Professor Horista, Carga horária: 4

Vínculo institucional

2002 - 2010
Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas Sênior

Atividades

08/2012 - Atual
Pesquisa e desenvolvimento , Laboratório de Métodos Formais - TecMF, .

08/2012 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
08/2012 - Atual
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
08/2012 - Atual
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
01/2002 - 04/2010
Serviços técnicos especializados , Vice-Reitoria Administrativa, .

Serviço realizado
Desenvolvimento dos sistemas administrativos da universidade..
12/2004 - 12/2004
Ensino, Gerência de Projeto de Software, Nível: Especialização

Disciplinas ministradas
Desenvolvimento Ágil de Software
01/2004 - 12/2004
Ensino, Gerência de Projeto de Software, Nível: Aperfeiçoamento

Disciplinas ministradas
Ferramentas de apoio a Gerência de Projetos.
01/2002 - 12/2004
Ensino, Análise Orientada a Objetos com UML, Nível: Aperfeiçoamento

Disciplinas ministradas
Desenvolvimento Ágil de Software

Rodotec Sistemas de Transporte, RODOTEC, Brasil.
Vínculo institucional

2001 - 2001
Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas Sênior

Atividades

03/2001 - 12/2001
Serviços técnicos especializados , Globus, .

Serviço realizado
Coordenação da equipe de desenvolvimento do módulo de vendas de passagens do ERP Globus..

TecTeam Informática Ltda, TECTEAM, Brasil.
Vínculo institucional

2000 - 2001
Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas Sênior

Atividades

05/2000 - 03/2001
Serviços técnicos especializados , Projetos, .

Serviço realizado
Coordenação da equipe de desenvolvimento do módulo de custo do ERP Interquadram..

Banco Bozano, Simonsen, BBS, Brasil.
Vínculo institucional

1998 - 2000
Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas Pleno

Atividades

07/1998 - 05/2000
Serviços técnicos especializados , Área de Crédito, .

Serviço realizado
Desenvolvimento de sistemas para a área de Crédito do Banco..

Origin Brasil, ORIGIN, Brasil.
Vínculo institucional

1997 - 1998
Vínculo: Colaborador, Enquadramento Funcional: Analista de Sistemas Pleno

Atividades

07/1997 - 07/1998
Serviços técnicos especializados , Desenvolvimento de Projetos, .

Serviço realizado
Desenvolvimento do sistema de Engenharia de Manutenção da Companhia Siderúrgica Nacional (CSN).
05/1998 - 05/1998
Treinamentos ministrados , Desenvolvimento de Projetos, .

Treinamentos ministrados
Treinamento de Centura/SqlWindows (linguangem de programação) para estagiários e novos funcionários da empresa.

Companhia Siderúrgica Nacional, CSN, Brasil.
Vínculo institucional

1996 - 1997
Vínculo: Colaborador, Enquadramento Funcional: Programador

Atividades

10/1996 - 07/1997
Serviços técnicos especializados , Superintendência Geral de Tecnologia de Informação - SGTI, .

Serviço realizado
Prestação de serviços de desenvolvimento de sistemas..

Caixa Beneficente da Companhia Siderúrgica Nacional (CSN), CBS, Brasil.
Vínculo institucional

1995 - 1996
Vínculo: Celetista, Enquadramento Funcional: Estagiário/Programador

Atividades

01/1996 - 08/1996
Serviços técnicos especializados , GAS, .

Serviço realizado
Desevolvimento de sistemas..
02/1995 - 12/1995
Estágios , GAS, .

Estágio realizado
Desenvolvimento de sistemas..


Linhas de pesquisa


1.
Prova automática de teoremas


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Prova de Teoremas.
3.
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.


Idiomas


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
DE BARROS SANTOS, JEFFERSON2016 DE BARROS SANTOS, JEFFERSON; LOPES VIEIRA, BRUNO ; HAEUSLER, EDWARD HERMANN . A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 324, p. 165-179, 2016.

Trabalhos completos publicados em anais de congressos
1.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . Counter-model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. In: 12th Workshop on Logical and Semantic Frameworks with Applications, 2017, Brasília. LSFA 2017. Brasília, 2017.

2.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . Towards a unified procedure for provability and counter-model generation in Minimal Implicational Logic. In: III Workshop-Escola de Informática Teórica (WEIT), 2015, Porto Alegre. WEIT 2015 - III WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA - ANAIS DO WEIT 2015. Porto Alegre: Universidade Federal do Rio Grande do Sul - UFRGS, 2015.

Resumos publicados em anais de congressos
1.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . Proof Search and Counter-model Generation in Propositional Minimal Implicational Logic. In: I Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. Livro de resumos: I WEITC - I Workshop Escola de Inverno em Teoria da Computação. Niterói: Instituto de Computação, Universidade Federal Fluminense, 2017.

2.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . A proof-graphs based theorem prover for Minimal Implicational Logic. In: 17º Encontro Brasileiro de Lógica - EBL, 2014, Petrópolis, RJ. XVII EBL - 17th Brazilian Logic Conference - Book of Abstracts., 2014.

Apresentações de Trabalho
1.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . Proof Search and Counter-model Generation in Propositional Minimal Implicational Logic. 2017. (Apresentação de Trabalho/Conferência ou palestra).

2.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . Counter-model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. 2017. (Apresentação de Trabalho/Congresso).

3.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . A unified procedure for provability and counter-model generation in Minimal Implicational Logic. 2015. (Apresentação de Trabalho/Conferência ou palestra).

4.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . Towards a unified procedure for provability and counter-model generation in Minimal Implicational Logic. 2015. (Apresentação de Trabalho/Congresso).

5.
SANTOS, J. B.; VIEIRA, B. L. ; HAEUSLER, E. H. . A proof-graphs based theorem prover for Minimal Implicational Logic. 2014. (Apresentação de Trabalho/Conferência ou palestra).



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
ENDLER, M.; LIFSCHITZ, S.; SANTOS, J. B.. Participação em banca de Rafael Fernandes Haeusler.Sistema Digital de Controle e Ocupação de Vagas. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
BARBOSA, S. D. J.; BRAGA, C. O.; SANTOS, J. B.. Participação em banca de Bernardo Pinto de Alkmim.Um provador automático de teoremas utilizando Dedução Natural. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.





Página gerada pelo Sistema Currículo Lattes em 19/10/2018 às 24:43:31