Daniele Nantes Sobrinho

  • Endereço para acessar este CV: http://lattes.cnpq.br/3436184353817774
  • Última atualização do currículo em 14/09/2018


Possui graduação em Matemática pela Universidade Federal de Mato Grosso do Sul (2006) e mestrado em Matemática pela Universidade de Brasília (2009), e doutorado em Matemática pela Universidade de Brasília com período de doutorado sanduíche em King's College London. Atualmente é Professora Adjunta do Departamento de Matemática da Universidade de Brasília. Foi Pesquisadora Colaboradora Junior do Departamento de Ciência da Computação (2013-2014) e Visiting Research Follow (2014-2015) do Departamento de Informática de King's College London. No período 2/2013 a 1/2014 esteve vinculada ao projeto CAPES-PVE como pós-doutoranda, com pesquisa científica em colaboração com Mauricio Ayala Rincón (CIC-UNB) e Maribel Fernández (Department of Informatics-King's College London). Sua pesquisa, em área de fronteira, engloba técnicas matemática e computacionais, bem como suas aplicações em segurança de protocolos criptográficos. Dentre suas áreas de interesse estão: Teoria da Computação, Lógica Formal, Teoria da Complexidade, Teoria da Reescrita, Lógica Nominal, Pi-Calculus e Criptografia. (Texto informado pelo autor)


Identificação


Nome
Daniele Nantes Sobrinho
Nome em citações bibliográficas
NANTES SOBRINHO, D.;Nantes-Sobrinho, D.;Sobrinho, D.N;NANTES-SOBRINHO, D.;NANTES-SOBRINHO, DANIELE;Nantes, Daniele

Endereço


Endereço Profissional
Universidade de Brasília, Departamento de Matemática.
Universidade de Brasília (UnB)
Asa Norte
70910900 - Brasília, DF - Brasil
Telefone: (61) 31077236
URL da Homepage: www.mat.unb.br


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


2009 - 2013
Doutorado em Matemática.
Universidade de Brasília, UnB, Brasil.
com período sanduíche em King's College London (Orientador: Maribel Fernández).
Título: O Problema da Dedução do Intruso para Teorias AC-convergentes Localmente Estáveis, Ano de obtenção: 2013.
Orientador: Mauricio Ayala Rincon.
Coorientador: Maribel Fernández.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Lógica Formal; Protocolo Criptográfico; Sistema de Reescrita; Teoria de Prova.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Lógica Formal.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.
Setores de atividade: Pesquisa e desenvolvimento científico; Outras atividades profissionais, científicas e técnicas.
2007 - 2009
Mestrado em Matemática.
Universidade de Brasília, UnB, Brasil.
Título: O Problema da Dedução do Intruso para um Protocolo Criptográfico Especificado via Reescrita Módulo AC,Ano de Obtenção: 2009.
Orientador: Maurício Ayala Rincón.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Sistema de Reescrita; Protocolo Criptográfico.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Lógica Formal.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Teoria da Prova.
2003 - 2006
Graduação em Matemática.
Universidade Federal de Mato Grosso do Sul, UFMS, Brasil.


Pós-doutorado


2013 - 2014
Pós-Doutorado.
Universidade de Brasília, UnB, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Teoria da Reescrita.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.


Atuação Profissional



Universidade Federal de Goiás, UFG, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: , Enquadramento Funcional:


Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Vínculo institucional

2013 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Professor Orientador PIC - OBMEP

Vínculo institucional

2014 - 2015
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Vínculo institucional

2009 - 2013
Vínculo: Bolsista, Enquadramento Funcional: Estudante de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2007 - 2009
Vínculo: Bolsista, Enquadramento Funcional: Estudante de Mestrado, Regime: Dedicação exclusiva.

Atividades

08/2014 - Atual
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Cálculo 1
Lógica Matemática e Computacional
2009 - Atual
Pesquisa e desenvolvimento , Departamento de Matemática, .


University of Groningen, RUG, Holanda.
Vínculo institucional

2016 - 2016
Vínculo: Professor Visitante, Enquadramento Funcional: Vistita Técnica - cooperação acadêmica


King's College London, KCL, Grã-Bretanha.
Vínculo institucional

2016 - 2016
Vínculo: Professor Visitante, Enquadramento Funcional: Vistita Técnica - cooperação acadêmica


King's College London, KCL, Inglaterra.
Vínculo institucional

2014 - 2014
Vínculo: Colaborador, Enquadramento Funcional: Visiting Research Fellow, Regime: Dedicação exclusiva.

Vínculo institucional

2011 - 2011
Vínculo: Teaching Assistance, Enquadramento Funcional: Teaching Assistance



Linhas de pesquisa


1.
Métodos Formais
2.
Lógica Formal e Computacional
3.
Teoria da Reescrita e Aplicações
4.
Formalizaçao e Análise de Seguranca de Protocolos Criptográficos


Projetos de pesquisa


2017 - Atual
Projeto Demanda Espontânea (FAPDF 193.001.369/2016) Estruturas Formais para Computação e Dedução

Projeto certificado pelo(a) coordenador(a) Mauricio Ayala Rincon em 15/06/2017.
Descrição: O objetivo geral da pesquisa é a exploração da aplicabilidade da teoria de reescrita, dos cálculos de substituições explícitas, da sintaxe e lógica nominal, da teoria de tipos e da teoria de prova no desenvolvimento de sistemas computacionais e na implementação de soluções algorítmicas corretas e eficientes aplicadas em diversas áreas e em particular em mecanismos de dedução equacional (casamento, unificação e estreitamento) com aplicações de destaque como raciocínio de segurança e integridade de sistemas de comunicação e protocolos criptográficos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Daniele Nantes Sobrinho - Integrante / AYALA-RINCÓN, MAURICIO - Coordenador / Ana Cristina Rocha Oliveira - Integrante / Flávio Leonardo Cavalcanti de Moura - Integrante / Daniel Lima Ventura - Integrante / André Luiz Galdino - Integrante / Andreia Borges Avelar - Integrante / Daniel Saad - Integrante / Ariane Alves Almeida - Integrante / Lucas Angelo da Silveira - Integrante / Thiago Mendonça Ferreira Ramos - Integrante.Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Outra.
2017 - Atual
UNIVERSAL 430667/2016-7: Estruturas Explícitas Formais para Computação e Dedução
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (3) .
Integrantes: Daniele Nantes Sobrinho - Integrante / Mauricio Ayala Rincón - Integrante / Ana Cristina Rocha Oliveira - Integrante / Flávio Leonardo Cavalcanti de Moura - Integrante / Washington Luís Ribeiro de Carvalho Segundo - Integrante / Ariane Alves Almeida - Integrante / Thiago Mendonça Ferreira Ramos - Integrante / Daniel Lima Ventura - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2016 - 2016
Visita Técnica - Universidade do Porto
Descrição: Projeto sobre Unificação Nominal Modulo Teorias Equacionais via Narrowing..
Situação: Concluído; Natureza: Pesquisa.
2013 - 2017
UNIVERSAL 476952/2013-1 Formalização de Sistemas Computacionais com Substituições Explícitas, Terminação e Aplicações

Projeto certificado pelo(a) coordenador(a) Mauricio Ayala Rincon em 29/06/2017.
Descrição: O objetivo geral da nossa pesquisa é a exploração da aplicabilidade da teoria de reescrita, dos cálculos de substituições explícitas, da teoria de tipos e da teoria de prova no desenvolvimento de sistemas computacionais e na implementação de soluções algorítmicas corretas e eficientes aplicadas a diversas áreas. A teoria de reescrita é um mecanismo efetivo e bem estabelecido de programação com aplicações em diversas áreas. Com efeito, diversos ambientes de programação e dedução como Maude dependem de um formalismo teórico baseado diretamente em sistemas de reescrita de ordem superior com suporte de sistemas de tipos elaborados. Ambientes de especificação bem conhecidos utilizam mecanismos essenciais da teoria de reescrita como {\em matching}, simplificação e unificação (c.f. Isabelle/HOL, Coq, $\lambda$Prolog, PVS, etc). O GTC/UnB tem desenvolvido aplicações da teoria de reescrita em contextos que vão da modelagem de {\em hardware} eficiente até a verificação de {\em software} crítico. É neste contexto que a presente proposta está focada; mais especificamente, na formalização de propriedades de cálculos de substituições explícitas e na automatização da propriedade de terminação de processos computacionais...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Daniele Nantes Sobrinho - Integrante / AYALA-RINCÓN, MAURICIO - Coordenador / Ana Cristina Rocha Oliveira - Integrante / Flávio Leonardo Cavalcanti de Moura - Integrante / Daniel Lima Ventura - Integrante / André Luiz Galdino - Integrante / Andreia Borges Avelar - Integrante / Daniel Saad - Integrante / Thaynara Arielly de Lima - Integrante / José Luiz Soncco Álvarez - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2015
Projeto PVE (0500/2013, processo 23038.009845-2012/81, 146/2012 do Programa Ciência sem Fronteiras CAPES-CNPq), Ferramentas para a análise de Sistemas de Reescrita Nominais
Descrição: Descrição: Nominal sets provide a new mathematical basis for the analysis of names and binding. Nominal rewriting systems are used to specify the dynamics of systems with binding operators such as specification and programming languages, computation models and, in general, formal models for the development of certified and secure computational systems. This project will investigate whether well known tools, such as type systems, can be used to provide semantics and analyse termination properties of nominal rewriting systems. Nominal rewriting is an important alternative as a formalism to define explicit substitutions calculi, field in which the Brazilian team has obtained a recognised record of results. This cooperation will bring together the expertise in nominal rewriting and type systems of the group headed by Prof. Maribel Fernández (who is the PVE of this project) and the knowledge in explicit substitutions calculi enlarged with type systems of the Brazilian team in order to build elaborated type systems for nominal rewriting and related applications in formal methods and security.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (2) ..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (2) .
Integrantes: Daniele Nantes Sobrinho - Integrante / FERNÁNDEZ, MARIBEL - Integrante / Mauricio Ayala Rincón - Coordenador / Ana Cristina Rocha Oliveira - Integrante.


Outros Projetos


2018 - 2018
Visita Técnica - King's College London e Groningen University
Situação: Concluído; Natureza: Outra.
2017 - 2017
TABLEAUX 2017/ FroCoS 2017/ ITP 2017/ Workshops/Tutoriais
Situação: Concluído; Natureza: Outra.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Teoria da Reescrita.
2.
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.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Lógica Formal.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.


Produções



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

1.
AYALA-RINC?N, MAURICIO2017AYALA-RINC?N, MAURICIO ; DE CARVALHO-SEGUNDO, WASHINGTON ; FERN?NDEZ, MARIBEL ; NANTES-SOBRINHO, DANIELE . A Formalisation of Nominal ? -equivalence with A and AC Function Symbols. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 332, p. 21-38, 2017.

2.
AYALA-RINCÓN, MAURICIO2017 AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, DANIELE . Intruder deduction problem for locally stable theories with normal forms and inverses. THEORETICAL COMPUTER SCIENCE, v. 672, p. 64-100, 2017.

3.
AYALA-RINCÓN, MAURICIO2013AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, DANIELE . Elementary Deduction Problem for Locally Stable Theories with Normal Forms. Electronic Proceedings in Theoretical Computer Science, v. 113, p. 45-60, 2013.

Capítulos de livros publicados
1.
AYALA-RINCÓN, MAURICIO ; DE CARVALHO-SEGUNDO, WASHINGTON ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, DANIELE . Nominal C-Unification. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10855, p. 235-251.

2.
Nantes, Daniele; Pérez, Jorge A. . Relating Process Languages for Security and Communication Correctness (Extended Abstract). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10854, p. 79-100.

3.
AYALA-RINCÓN, MAURICIO ; DE CARVALHO-SEGUNDO, WASHINGTON ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, DANIELE . On Solving Nominal Fixpoint Equations. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. 10483, p. 209-226.

Trabalhos completos publicados em anais de congressos
1.
M Ayala-Rincón ; DE CARVALHO-SEGUNDO, WASHINGTON ; M. Fernandez ; NANTES-SOBRINHO, D. . Fixed Point Constraints for Nominal Equational Unification. In: Formal Structures for Computation and Deduction, 2018, Oxford. 3rd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}, 2018. v. 108. p. 7:1-7:16.

2.
AYALA-RINCÓN, MAURICIO ; SEGUNDO, W. L. R. C. ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, DANIELE . Nominal C-Unification. In: 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), 2017, Namur, Bélgica. 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), 2017.

3.
DELBONI, B. A. ; NANTES-SOBRINHO, D. . Asymmetric unification Modulo Nilpotent operators with Homomorphism. In: IV Workshop Escola de Informática Teórica, 2017, Santa Maria - RS. IV Workshop-Escola de Informática Teórica, 2017. v. 4. p. 310-317.

4.
NANTES-SOBRINHO, DANIELE; AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL . Nominal Narrowing. In: Conference on Formal Structures for Computation and Deduction (FSCD 2016), 2016, Porto. 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), 2016. v. 52. p. 11:1-11:17.

5.
NANTES SOBRINHO, D.; M Ayala-Rincón ; M. Fernandez . Elementary Deduction Problem for Locally Stable Theories with Normal Forms. In: LSFA - 7th Workshop on Logical and Semantic Frameworks, with Applications, 2013, Rio de Janeiro. Electronic Proceedings in Theoretical Computer Science, 2013.

6.
NANTES SOBRINHO, D.; M Ayala-Rincón . Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. In: Proc. 17th WoLLIC 2010, 2010. Lecture Notes in Computer Science.

Resumos publicados em anais de congressos
1.
NANTES-SOBRINHO, D.; AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL . Decidability of Elementary Deduction Problem for Locally Stable theories with Inverses. In: Escola Brasileira de Lógica, 2014, Petrópolis. Proceedings of Escola Brasileira de Lógica, 2014.

Artigos aceitos para publicação
1.
ASSIS DELBONI, Bruno ; M Ayala-Rincón ; NANTES-SOBRINHO, DANIELE . Topological Graphs and Combinators. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2019.

2.
M Ayala-Rincón ; DE CARVALHO-SEGUNDO, WASHINGTON ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, D. . A Formalisation of Nominal C-Matching through Unification with Protected Variables. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2019.

Apresentações de Trabalho
1.
NANTES-SOBRINHO, DANIELE; PEREZ, J. . Relating Process Languages for Security and Communication Correctness (Extended Abstract). 2018. (Apresentação de Trabalho/Seminário).

2.
AYALA-RINCÓN, MAURICIO ; DE CARVALHO-SEGUNDO, WASHINGTON ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, D. . On solving nominal fixpoint equations. 2017. (Apresentação de Trabalho/Congresso).

3.
AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL ; NANTES-SOBRINHO, D. . Nominal Narrowing. 2016. (Apresentação de Trabalho/Congresso).

4.
NANTES-SOBRINHO, D.; AYALA-RINCÓN, MAURICIO . Teorias I-localmente Estáveis e Grupos Abelianos Finitos. 2013. (Apresentação de Trabalho/Conferência ou palestra).

5.
NANTES-SOBRINHO, D.; AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL . I-locally stable theories and Finite Abelian Groups. 2013. (Apresentação de Trabalho/Congresso).

6.
NANTES-SOBRINHO, D.. Intruder Deduction for AC-Theories Revisited. 2013. (Apresentação de Trabalho/Seminário).

7.
NANTES-SOBRINHO, D.; AYALA-RINCÓN, MAURICIO ; FERNÁNDEZ, MARIBEL . Elementary Deduction Problem for Locally Stable Theories with Normal Forms. 2012. (Apresentação de Trabalho/Congresso).

8.
NANTES-SOBRINHO, D.. Locality Recognition of Deductive Systems for Security Protocols. 2011. (Apresentação de Trabalho/Seminário).

9.
NANTES-SOBRINHO, D.. Cryptoanalysis via Deduction and Rewriting. 2011. (Apresentação de Trabalho/Seminário).

10.
NANTES-SOBRINHO, D.; AYALA-RINCÓN, MAURICIO . Reduction of the Intruder Deduction Problem into Elementary Deduction for Electronic Purse Protocols with Blind Signatures. 2010. (Apresentação de Trabalho/Congresso).

11.
NANTES-SOBRINHO, D.. Cálculo de Sequentes para Dedução do Intruso sob Teorias Equacionais AC-convergentes. 2009. (Apresentação de Trabalho/Seminário).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
NANTES SOBRINHO, D.. Participação em banca de Thiago Coelho Vieira. Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença. 2015. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília.

Qualificações de Doutorado
1.
NANTES-SOBRINHO, DANIELE; AYALA-RINCÓN, MAURICIO; VENTURA, D. L.. Participação em banca de Nathália Nogueira Gonçalves. Membro de Banca - Teoria da Computação. 2018. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

2.
RINCON, M. A.; NANTES-SOBRINHO, DANIELE; de MOURA, F. L. C.. Participação em banca de Michell Lucena Dias. Participação em banca - Teoria da Computação. 2017. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Qualificações de Mestrado
1.
NALON, C.; AYALA-RINCÓN, MAURICIO; NANTES-SOBRINHO, D.. Participação em banca de Lucas de Moura Amaral. A resolution-based E-connected Calculus. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade de Brasília.

2.
NANTES-SOBRINHO, D.; RINCON, M. A.; MEDINO, A. V.; MESQUITA, J.; FURTADO, M. F.; CHAGAS, S. C.; CASTRO SILVA, T.. Participação em banca de Alunos do PPG-MAT. Membro de Banca 2/2017- Teoria da Computação. 2017. Exame de qualificação (Mestrando em Matemática) - Universidade de Brasília.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
Formal Structures in Computation and Deduction. Nominal Narrowing. 2016. (Congresso).

2.
11th Workshop on Logical and Semantic Frameworks, with Applications. A Formalisation of Nominal alpha-equivalence with A and AC Function Symbols. 2013. (Congresso).

3.
Seminário Informal, mas Formal.Elementary Deduction Problem for AC Theories revisited. 2013. (Seminário).

4.
LSFA - 7th Workshop on Logical and Semantic Frameworks, with Applications. Elementary Deduction Problem for Locally Stable Theories with Normal Forms. 2012. (Congresso).

5.
The 12th CREST Open Workshop Security and Code. 2011. (Outra).

6.
WoLLiC 17th Workshop on Logic, Language, Information and Computation. Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. 2010. (Congresso).

7.
Rewriting Techniques and Applications, 20th International Conference, (RTA 2009). 2009. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
NANTES-SOBRINHO, D.; BASTOS, R. ; FIGUEIREDO, G. . X Workshop de Verão em Matemática- Teoria da Computação. 2018. (Outro).

2.
MESQUITA, J. ; NANTES-SOBRINHO, D. ; AVILA, L. ; MAIA, L. ; PINA, R. ; PINTO, A. . Seminário Mulheres na Ciência da UnB. 2018. (Outro).

3.
NALON, C. ; ALMEIDA, J. M. ; NANTES SOBRINHO, D. ; PIMENTEL, E. . 11th International Symposium on Frontiers of Combining Systems(FroCos). 2017. (Congresso).

4.
CIOLETTI, L. ; COSTA, P. H. ; NANTES SOBRINHO, D. ; CALDAS, A. ; MESQUITA, J. ; PINA, R. . Workshop de Verão em Matemática. 2017. (Congresso).

5.
NALON, C. ; NANTES-SOBRINHO, DANIELE ; PIMENTEL, E. ; ALMEIDA, J. M. . 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017). 2017. (Congresso).

6.
NALON, C. ; PIMENTEL, E. ; NANTES-SOBRINHO, D. ; ALMEIDA, J. M. . 8th International Conference on Interactive Theorem Proving (ITP 2017).. 2017. (Congresso).

7.
NANTES-SOBRINHO, DANIELE. 11th Workshop on Logical and Semantic Frameworks With Applications. 2016. (Congresso).

8.
NANTES SOBRINHO, D.. Workshop de Verão da Matemática. 2016. (Congresso).

9.
NANTES-SOBRINHO, D.. Workshop da Matemática Aplicada a Computação - Seminário Informal, mas Formal!. 2015. (Outro).

10.
NANTES-SOBRINHO, D.; de MOURA, F. L. C. . Workshop on Logical and Semantic Frameworks, with Applications. 2014. (Congresso).

11.
NANTES-SOBRINHO, D.. Workshop da Matemática Aplicada a Computação - Seminário Informal, mas Formal!. 2014. (Outro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Bruno de Assis Delboni. Unificação Assimétrica módulo operadores nilpotentes. 2017. Dissertação (Mestrado em Matemática) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Daniele Nantes Sobrinho.

Iniciação científica
1.
Luiz Antônio Borges Martins. Formalização de Processos de Comunicação com Pi-Cálculo. 2017. Iniciação Científica. (Graduando em Matemática) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal. Orientador: Daniele Nantes Sobrinho.

2.
Deivid Rodrigues do Vale. Lógica Equacional e Unificação Sintática e Aplicações em Segurança. 2014. Iniciação Científica. (Graduando em Matemática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Daniele Nantes Sobrinho.

Orientações de outra natureza
1.
Gabrielly Girardi Reis. Pi-Cálculo: um cálculo para processos móveis. 2015. Orientação de outra natureza. (Matemática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Daniele Nantes Sobrinho.




Página gerada pelo Sistema Currículo Lattes em 22/10/2018 às 17:37:42