Felipe Sobreira Abrahão

Bolsista de Programa de Capacitação Institucional do CNPq - Nível DB

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


Bolsista PCI-DB pelo CNPq desde Dezembro de 2016 no Laboratório Nacional de Computação Científica (LNCC), Petrópolis, Brasil, com o grupo de pesquisa em ciência de redes, parte do laboratório Martin, sob a supervisão do Prof. Dr. Artur Ziviani. O projeto de pesquisa atual tem o objetivo de estabelecer o campo de redes algorítmicas e suas relações com ciência de redes. Perfil acadêmico na plataforma Academia.edu dentro do top 1,5% por 12 Meses (03/07/2018). Possui Mestrado e Doutorado no programa interdisciplinar de pós-graduação em História das Ciências e das Técnicas e Epistemologia (HCTE), parte do Centro de Ciências Matemáticas e da Natureza da Universidade Federal do Rio de Janeiro (UFRJ). Bacharelado em Matemática pela Universidade Federal do Rio de Janeiro (UFRJ). Atua dentro das seguintes grandes áreas: Teoria da Computação, Lógica Matemática, Teorias da Informação, Teoria de Sistemas, Teoria de Redes Complexas. Áreas de pesquisa secundárias: Filosofia da Inteligência Artificial, Filosofia da Mente, Filosofia da Biologia, Epistemologia. Principais tópicos de interesse de pesquisa: Informação e complexidade emergentes em redes complexas de processamento distribuído (Redes Algorítmicas); Sistemas complexos evolucionários open-ended; Vida artificial; Subcomputação, graus negativos de Turing e hierarquias de complexidade computacional; Hipercomputação; Definições do que é vida; Origens algorítmicas da vida; Computabilidade versus não computabilidade da intuição matemática. Supervisores: Artur Ziviani (pós-doutorado), Gregory Chaitin (doutorado), Francisco Antônio Dória (mestrado and doutorado), and Adilson Gonçalves (graduação). (Texto informado pelo autor)


Identificação


Nome
Felipe Sobreira Abrahão
Nome em citações bibliográficas
FS Abrahão;ABRAHÃO, F.;FS Abrahao;ABRAHÃO, F. S.;Felipe S. Abrahão;Abrahão, Felipe S.

Endereço


Endereço Profissional
Laboratório Nacional de Computação Científica.
Avenida Getúlio Vargas - até 1155 - lado ímpar
Quitandinha
25651075 - Petrópolis, RJ - Brasil
Telefone: (24) 22336004
URL da Homepage: https://lncc.academia.edu/FelipeAbrahao


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


2011 - 2015
Doutorado em História das Ciências e das Técnicas e Epistemologia.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Metabiologia, Subcomputação e Hipercomputação: em direção a uma teoria geral de evolução de sistemas. Título em inglês: Metabiology, Subcomputation and Hypercomputation: towards a general theory for evolutionary systems, Ano de obtenção: 2015.
Orientador: Francisco Antonio Doria, Gregory J. Chaitin.
Coorientador: Gregory John Chaitin.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Metabiology; Open-ended evolutionary systems; Evolutionary biology; Computability; Subcomputation; Hypercomputation.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metabiology.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Complex Systems.
2009 - 2011
Mestrado em História das Ciências e das Técnicas e Epistemologia.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Demonstrando a Consistência da Aritmética,Ano de Obtenção: 2011.
Orientador: Francisco Antonio de Moraes Accioli Doria.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Reflection principles; Infinitary rules; Computability theory; Consistency of Peano arithmetic; Gentzen; Schütte.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Proof theory.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Philosophy of mathematics.
2004 - 2008
Graduação em Bacharelado em Matemática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
2001 - 2003
Ensino Médio (2º grau).
Colégio Marista São José, CMSJ, Brasil.
1993 - 2000
Ensino Fundamental (1º grau).
Colégio Marista São José, CMSJ, Brasil.


Pós-doutorado


2016
Pós-Doutorado.
Laboratório Nacional de Computação Científica, LNCC, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Ciência de Redes.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Interdisciplinar.


Formação Complementar


2016 - 2016
Workshop: Power of Information. (Carga horária: 24h).
Arizona State University, ASU, Estados Unidos.
2011 - 2011
M3: Metabiología: Vida como Software en Evolución. (Carga horária: 15h).
Universidad de Buenos Aires, UBA, Argentina.
2002 - 2006
Harmonia e Percepção. (Carga horária: 135h).
Mais que Música Cursos, MQM, Brasil.
2000 - 2003
Alemão.
Goethe Institut, GI, Brasil.


Atuação Profissional



Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2014 - 2014
Vínculo: Estágio Docência, Enquadramento Funcional: Estagiário, Carga horária: 15
Outras informações
Tutor: Prof. Dr. Ricardo Silva Kubrusly, professor titular da UFRJ. Principais atividades: Lecionei, junto ao professor responsável, as aulas de Cálculo 1 ministradas para o curso de graduação em Biologia na Universidade Federal do Rio de Janeiro. Acompanhei as turmas durante o primeiro semestre totalizando 15 horas.


Laboratório Nacional de Computação Científica, LNCC, Brasil.
Vínculo institucional

2017 - 2017
Vínculo: Bolsista PCI, Enquadramento Funcional: Adjunct Professor, Carga horária: 3, Regime: Dedicação exclusiva.
Outras informações
Course title: Introdução à Teoria da Informação [Introduction to Information Theory] Language: Portuguese Students level: Graduate (masters and doctorate) Summary: Presenting the main concepts, definitions and theorems from statistical information theory and from algorithmic information theory.



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Theory of computation.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Information Theory.
3.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Mathematical logic.
4.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Complex Systems.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Complex Networks.
6.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemology.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende RazoavelmenteLê Bem.


Produções



Produção bibliográfica
Citações

Outras
Total de trabalhos:18
Total de citações:22
FS Abrahão  Data: 27/07/2017

Artigos completos publicados em periódicos

1.
ABRAHÃO, F. S.2014ABRAHÃO, F. S.. 'Paradoxo' da computabilidade. Scientiarum Historia (Impresso), v. 1, p. 1, 2014.

2.
ABRAHÃO, F. S.2013ABRAHÃO, F. S.. Metabiologia Cantoriana. Scientiarum Historia (Impresso), v. 1, p. 1, 2013.

3.
GOMIDE, W.2013GOMIDE, W. ; ABRAHÃO, F. S. . Teologia da informação. Scientiarum Historia, v. 1, p. 2, 2013.

Capítulos de livros publicados
1.
ABRAHÃO, F. S.. The 'paradox' of computability and a recursive relative version of the Busy Beaver function. In: Cristian Calude; Mark Burgin. (Org.). Information and Complexity. 1ed.: World Scientific, 2016, v. , p. 3-15.

Textos em jornais de notícias/revistas
1.
CHAITIN, G. J. ; CHAITIN, V. ; ABRAHÃO, F. S. . Metabiología: los orígenes de la creatividad biológica. Investigación y Ciencia, Espanha, , v. 448, p. 74 - 80, 15 jan. 2014.

Trabalhos completos publicados em anais de congressos
1.
ABRAHÃO, F. S.. Indução Ultraforte: epistemologia do subjetivo. In: SCIENTIARUM HISTORIA IV - 4º Congresso de História das Ciências e das Técnicas e Epistemologia, 2011, Rio de Janeiro. Livro de anais SCIENTIARUM HISTORIA IV, 2011. v. 1.

2.
ABRAHÃO, F. S.. Questões em Metabiologia. In: SCIENTIARUM HISTORIA IV - 4º Congresso de História das Ciências e das Técnicas e Epistemologia, 2011. Scientiarum Historia - Encontro Luso-Brasileiro de História da Ciência (Impresso), 2011. v. 1.

3.
ABRAHÃO, F. S.. Uma Prova de Consistência. In: Scientiarum Historia III, 2010, Rio de Janeiro. Uma prova de Consistência. Rio de Janeiro, 2010.

Resumos expandidos publicados em anais de congressos
1.
ABRAHÃO, F. S.. Infinitos e Infinitesimais: um problema matemático. In: Scientiarum Historia II, 2009, Rio de Janeiro. Infinitos e Infinitesimais: um problema matemático, 2009. p. 811-815.

Resumos publicados em anais de congressos
1.
ABRAHÃO, F. S.. 'Paradoxo' da Computabilidade. In: Scientiarum Historia VII, 2014, Rio de Janeiro. Caderno de Resumos, 2014.

Apresentações de Trabalho
1.
ABRAHÃO, F. S.; WEHMUTH, K. ; Ziviani, A. . Expected Emergent Algorithmic Creativity and Integration in Dynamic Complex Networks. 2018. (Apresentação de Trabalho/Congresso).

2.
ABRAHÃO, F. S.; WEHMUTH, K. ; Ziviani, A. . Expected Emergence of Algorithmic Information from a Lower Bound for Stationary Prevalence. 2018. (Apresentação de Trabalho/Congresso).

3.
ABRAHÃO, F. S.. Emergent algorithmic creativity on networked Turing machines. 2016. (Apresentação de Trabalho/Conferência ou palestra).

4.
ABRAHÃO, F. S.. Modeling Life: Computers, Hypercomputers and Subcomputers. 2014. (Apresentação de Trabalho/Congresso).

5.
ABRAHÃO, F. S.. Questões em metabiologia. 2011. (Apresentação de Trabalho/Congresso).

6.
ABRAHÃO, F. S.. Indução Ultraforte: epistemologia do subjetivo. 2011. (Apresentação de Trabalho/Congresso).

7.
ABRAHÃO, F. S.. Uma Prova de Consistência. 2010. (Apresentação de Trabalho/Congresso).

8.
ABRAHÃO, F. S.. Infinitos e Infinitesimais: um problema matemático. 2009. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
ABRAHÃO, F. S.; WEHMUTH, K. ; Ziviani, A. . Emergent Open-Endedness from Contagion of the Fittest. Zenodo, 2018 (Preprint).

2.
ABRAHÃO, F. S.; WEHMUTH, K. ; Ziviani, A. . Algorithmic networks: Central time to trigger expected emergent open-endedness. arXiv.org e-Print archive, 2017 (Preprint).

3.
ABRAHÃO, F. S.. Relativizing an incompressible number and an incompressible function through subrecursive extensions of Turing machines. arXiv.org e-Print archive, 2016 (Preprint).


Demais tipos de produção técnica
1.
ABRAHÃO, F. S.; WEHMUTH, K. ; Ziviani, A. . Emergent Open-Endedness from Contagion of the Fittest. 2018. (Relatório de pesquisa).

2.
ABRAHÃO, F. S.; WEHMUTH, K. ; Ziviani, A. . Algorithmic networks: Central time to trigger expected emergent open-endedness. 2017. (Relatório de pesquisa).



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Brazilian Computer Society Congress 2018 (CSBC 2018). Expected Emergence of Algorithmic Information from a Lower Bound for Stationary Prevalence. 2018. (Congresso).

2.
Brazilian Computer Society Congress 2018 (CSBC 2018). Expected Emergent Algorithmic Creativity and Integration in Dynamic Complex Networks. 2018. (Congresso).

3.
Rio Fuzzy Logic 2017: Decision Making and Computational Limits. 2017. (Encontro).

4.
Power of Information. 2016. (Oficina).

5.
The 8th International Workshop on Guided Self-Organization at the Fifteenth International Conference on the Synthesis and Simulation of Living Systems.Emergent algorithmic creativity on networked Turing machines. 2016. (Oficina).

6.
International Association for Computing and Philosophy 2014. Modeling Life: Computers, Hypercomputers and Subcomputers. 2014. (Congresso).

7.
Scientiarum Historia VII. "Paradoxo" da Computabilidade. 2014. (Congresso).

8.
Scientiarum Historia VI. Metabiologia Cantoriana. 2013. (Congresso).

9.
Scientiarum Historia VI. Teologia da Informação. 2013. (Congresso).

10.
Scientiarum Historia V. 2012. (Congresso).

11.
Scientiarum Historia IV. Questões em Metabiologia. 2011. (Congresso).

12.
Scientiarum Historia IV. Indução Ultraforte: Epistemologia do Subjetivo. 2011. (Congresso).

13.
Scientiarum Historia III. Uma Prova de Consistência. 2010. (Congresso).

14.
Scientiarum Historia II. Infinitos e Infinitesimais: um problema matemático. 2009. (Congresso).

15.
Scientiarum Historia I. 2008. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
ABRAHÃO, F. S.; ABRAHAO, F.S. ; Kubrusly, R. ; Dantas, R.M.M.C. ; MARTINS, M.S. ; Evangelista, Maria Gabriela ; DIAS, L.R. ; MANDELLI, R. ; VALENÇA, Alexandre ; CASTRO, A.A.M. ; DANTAS, D.M.C. . Scientiarum Historia VII. 2014. (Congresso).

2.
ABRAHÃO, F. S.; ABRAHAO, F.S. ; Kubrusly, R. ; Dantas, R.M.M.C. ; MANDELLI, R. ; dosSantos, N. P. ; FRÓES, MM ; DIAS, L.R. ; VALENÇA, Alexandre ; MARTINS, M.S. ; ANDRADE, E.M.P. ; Evangelista, Maria Gabriela ; DANTAS, D.M.C. . Scientiarum Hstoria VI. 2013. (Congresso).

3.
Kubrusly, R. ; dosSantos, N. P. ; FRÓES, MM ; Dantas, R.M.M.C. ; ABRAHÃO, F. S. ; ABRAHAO, F.S. ; DIAS, L.R. ; MANDELLI, R. ; VALENÇA, Alexandre ; MARTINS, M.S. ; ANDRADE, E.M.P. ; Evangelista, Maria Gabriela ; CASTRO, A.A.M. ; DANTAS, D.M.C. . Scientiarum História V - 5º Congresso de História das Ciências e das Técnicas e Epistemologia - Comissão Executiva. 2012. (Congresso).



Educação e Popularização de C & T



Organização de eventos, congressos, exposições e feiras
1.
ABRAHÃO, F. S.; ABRAHAO, F.S. ; Kubrusly, R. ; Dantas, R.M.M.C. ; MANDELLI, R. ; dosSantos, N. P. ; FRÓES, MM ; DIAS, L.R. ; VALENÇA, Alexandre ; MARTINS, M.S. ; ANDRADE, E.M.P. ; Evangelista, Maria Gabriela ; DANTAS, D.M.C. . Scientiarum Hstoria VI. 2013. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 19/11/2018 às 8:03:15