 |
Emmanuel Felix Lopes da Silva Licenciado em Matemática pela Universiade Católica de Pernambuco-UNICAP(1996). Mestre em Filosofia pela Universidade Federal da Paraíba- UFPB(1998). Doutor em Ciências da Computação pela Universidade Federal de Pernambuco -UFPE(2008). Atualmente é Diretor do Clube Estudantil de Astronomia- CEA e Técnico Judiciário do Tribunal Regional Federal da 5a Região - TRF/5. Tem experiência na área das Ciências da Computação, com ênfase em Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: Astronomia, Ciências da Computação, Educação e Divulgação Científica.
Última
atualização do currículo em 21/03/2011
Endereço para acessar este CV: http://lattes.cnpq.br/6778128443914442 |
Dados pessoais
| Nome | Emmanuel Felix Lopes da Silva |
| Nome em citações bibliográficas | SILVA, Emmanuel Felix Lopes da |
| Sexo | Masculino |
Formação acadêmica/Titulação
| 2003 - 2008 | Doutorado em Ciências da Computação
.
Universidade Federal de Pernambuco, UFPE, Brasil. com período sanduíche em Universidade de São Paulo(Orientador:Ricardo Bianconi ). Título: Caracterização Aritmética em Primeira Ordem de Funções Computáveis em Espaço Polinomial, Ano de Obtenção: 2008. Orientador:  Ruy José Guerra Barretto de Queiroz.
Palavras-chave: Ciências da Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. |
| 1995 - 1998 | Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)
.
Universidade Federal da Paraíba, UFPB, Brasil. Título: UMA PROPOSTA DE UMA ABORDAGEM LOCAL PARA O TIPO REAL, Ano de Obtenção: 1998. Orientador: BENEDITO MELO ACIOLY. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior . Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. |
| 1990 - 1996 | Graduação em Licenciatura em Matemática
.
Universidade Católica de Pernambuco, UNICAP, Brasil. |
Formação complementar
| 2010 - 2010 | Segurança em Servidores Linux: Norma ISO 27002.
(Carga horária: 40h). 4Linux - Free Software Solutions. |
| 2010 - 2010 | Investigação Forense Digital.
(Carga horária: 40h). 4Linux - Free Software Solutions. |
| 2010 - 2010 | Pen Test: Técnicas de Intrusão em Redes.
(Carga horária: 40h). 4Linux - Free Software Solutions. |
| 2010 - 2010 | AU14BR -AIX System Administration I: Implementatio.
(Carga horária: 40h). ST3TAILOR - Sistemas e Serviços. |
| 2010 - 2010 | AU16BR-AIX System Administration II:Prolbem Determ.
(Carga horária: 40h). ST3TAILOR - Sistemas e Serviços. |
| 2009 - 2009 | Linux Systems Administration.
(Carga horária: 40h). 4Linux - Free Software Solutions. |
| 2009 - 2009 | Linux Network Servers.
(Carga horária: 40h). 4Linux - Free Software Solutions. |
| 2009 - 2009 | AU13BR - AIX Basic.
(Carga horária: 40h). ST3TAILOR - Sistemas e Serviços. |
| 2008 - 2008 | Linux Essentials.
(Carga horária: 40h). 4Linux - Free Software Solutions. |
| 1999 - 1999 | Extensão universitária em Introdução à Astronomia e Astrofísica. Universidade de São Paulo. |
| 1976 - 1976 | Curso de Iniciação à Astronomia. Clube Estudantil de Astronomia. |
Atuação profissional
| Universidade Nove de Julho, UNINOVE, Brasil. |
| Vínculo institucional |
| 2010 - Atual | Vínculo: Professor vistante, Enquadramento Funcional: Professor, Carga horária: 6 |
| Outras informações | Disciplinas Ministradas: Criptografia e Protocolos de Segurança Segurança de Redes de Computadores |
| Universidade Paulista, UNIP, Brasil. |
| Vínculo institucional |
| 2009 - Atual | Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 6 |
| Outras informações | Disciplinas Ministradas: Lógica Redes de Computadores Segurança de Redes de Computadores |
| Universidade Federal de Pernambuco, UFPE, Brasil. |
| Vínculo institucional |
| 2003 - 2008 | Vínculo: Estudante de Doutorado - CIN, Enquadramento Funcional: Estudante, Regime: Dedicação exclusiva. |
| Faculdade Salesiana do Nordeste, FASNE, Brasil. |
| Vínculo institucional |
| 2002 - 2004 | Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 20 |
| Outras informações | Disciplinas Ministradas: Estatística, Matemática Aplicada, Matemática Básica. |
| Tribunal Regional Federal da 5a Região, TRF, Brasil. |
| Vínculo institucional |
| 1989 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: TÉCNICO JUDICIÁRIO, Carga horária: 40 |
| Atividades |
| 3/2000 - Atual | Serviços técnicos especializados , Secretaria Administrativa, Subsecretaria de Informática. |
|
Serviço realizado MANUTENÇÃO EM MICROCOMPUTADORES. |
Á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: Análise de Algoritmos e Complexidade de Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Computabilidade e Modelos de Computação. |
| 3. | 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. |
| 4. | 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. |
| 5. | Grande área: Outros / Área: Divulgação Científica. |
Idiomas
| Inglês | Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Pouco. |
| Francês | Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente. |
| Espanhol | Lê Razoavelmente. |
Prêmios e títulos
| 2004 | Membro Eleito da Sociedade Astronômica Brasileira, Sociedade Astronômica Brasileira - SAB. |
Produção em C,T & A
| Produção bibliográfica |
| Trabalhos completos publicados em anais de congressos |
| 1. | BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da . Jupiter-Mass Planet Hunting in the Galactic Bulge by Gravitational Microlensing. In: Observatoire de Haute Provence Colloquium - Tenth Anniversary of 51 Peg, 2005, Saint Michel l'Observatoire. Observatoire de Haute Provence Colloquium - Tenth Anniversary of 51 Peg. Paris : Frontier Group, 2005. p. 356-358. |
| Resumos expandidos publicados em anais de congressos |
| 1. | SILVA, Emmanuel Felix Lopes da ; BIANCONI, R. ; QUEIROZ, Ruy José Guerra Barreto de . Polynomial Space Computable Arithmetic. In: XIV SLALM 14th Latin-American Symposium on Mathematical Logic, 2008, Paraty. Proceedings of CLE 30/ XV EBL/ XIV SLALM. Campinas: Centre for Logic, Epistemology and the History of Science - UNICAMP, 2008, pp. 1-6, 2008. |
| Resumos publicados em anais de congressos |
| 1. | MELO, G. C. ; SILVA, Emmanuel Felix Lopes da ; BEZERRA, L. B. ; ARAUJO, A. E. P. ; FALCAO, E. P. S. . Relógio de Sol: O Uso da Astronomia como Elemento Motivador e Interdisciplinar em Sala. In: XXXIV Reunião Anual da Sociedade Astronômica Brasileira, 2008, Passa Quatro - MG. XXXIV Reunião Anual da Sociedade Astronômica Brasileira, 2008. |
| 2. |  BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da ; FALCAO, E. P. S. . Equivalent Width of Selected Balmer Emission Lines on Be Stars Spectra Automatically. In: XXXIV Reunião Anual da Sociedade Astronômica Brasileira, 2008, Passa Quatro - MG.
XXXIV Reunião Anual da Sociedade Astronômica Brasileira, 2008. |
| 3. | BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da . Monitoring Microlensing Events in Crowded Bulge Fields to Search for Exoplanets. In: International Colloquium: Tenth Anniversary of 51 Peg-b: Status of and Prospects for Hot Jupiter Studies, 2005, Michel l'Observatoire - France. Colloquium Proceedings, 2005. |
| 4. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; ARAUJO, A. E. P. ; MELO, W. M. . Automatic Positional Astrometry and Differential Photometry(B,V) of Ultra Energetic Phenomena(GRBs). In: Royal Astronomical Society(RAS) National Astronomy Meeting 2004, 2004, Milton Keynes - United Kingdom.
The Royal Astronomical Society National Astronomy Meeting 2004 Conference Booklet, 2004. p. 284-284. |
| 5. | BEZERRA, L. B. ; MELO, W. M. ; SILVA, Emmanuel Felix Lopes da ; SANTOS, M. A. C. ; SILVA, A. U. ; ARAUJO, A. E. P. ; MELO, G. C. . Implementação de Observatório Astronômico Automatizado em Sítio Remoto. In: 55o. Reunião Anual da Sociedade Brasileira para o Progresso da Ciência - SBPC, 2003, Recife-PE. Anais da 55a. Reunião Anual da SBPC, 2003. v. 24. p. 56-56. |
| 6. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; MELO, W. M. ; ARAUJO, A. E. P. . An Automated Alert Response System To Capture Gamma-Ray Burst Afterglows In Optical Range. In: XXIX Reunião Anual da Sociedade Astronômica Brasileira - SAB, 2003, São Pedro. Boletim da Sociedade Astronômica Brasileira, 2003. v. 23. p. 194-194. |
| 7. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; MELO, W. M. ; ARAUJO, A. E. P. . An Automated Alert Response System To Capture Gamma-Ray Burst Afterglows In Optical Range. In: Optical and Infrared Astronomical Instrumentation for Modern Telescopes, 2003, Angra dos Reis - RJ.
Optical and Infrared Astronomical Instrumentation for Modern Telescopes, 2003. v. 6. p. 159-159. |
| 8. | BEZERRA, L. B. ; MELO, W. M. ; SILVA, Emmanuel Felix Lopes da . Center for Astronomical Studies of Pernambuco - Publicising, Teaching and Researching on Astronomy. In: XXVIII Reunião Anual da Sociedade Astronômica Brasileira - SAB, 2002, Florianópolis - SC. Boletim da Sociedade Astronômica Brasileira, 2002. v. 22. p. 59-59. |
| 9. | SILVA, Emmanuel Felix Lopes da ; ACIOLY, Benedito Melo . An Approach to Local Set Theory. In: SCAN 2000 - INTERNATIONAL CONFERENCE ON INTERVAL METHODS IN SCIENCE AND ENGINEERING, 2000, Karlsruhe, 2000. |
| 10. | SILVA, Emmanuel Felix Lopes da ; ACIOLY, Benedito Melo . UMA PROPOSTA DE UMA ABORDAGEM LOCAL PARA O TIPO REAL. In: XXIII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2000, SANTOS. XXIII CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2000. |
| 11. | SILVA, Emmanuel Felix Lopes da ; QUEIROZ, Ruy José Guerra Barreto de . COMPLEXIDADE ALGÉBRICA VIA TEORIA DOS MODELOS. In: XVVI CNMAC - CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 2000, SÃO JOSÉ DO RIO PRETO, 2000. |
| Apresentações de Trabalho |
| 1. | SILVA, Emmanuel Felix Lopes da . Fragmentos de Aritmética de Peano e sua Relação com Complexidade Computacional. 2007. (Apresentação de Trabalho/Conferência ou palestra). |
| Produção técnica |
| Trabalhos técnicos |
| 1. | BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da ; SILVA, A. U. ; SANTOS, M. A. C. ; MELO, W. M. ; MELO, G. C. ; FALCAO, E. P. S. . Observatório Astronômico Automatizado - OAA. 2003. |
| 2. | BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da ; SANTOS, M. A. C. ; MELO, G. C. ; FALCAO, E. P. S. ; MELO, W. M. . Instrumentação Periférica Complementar do Observatório Astronômico Automatizado - OAA. 2001. |
| 3. | BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da ; SANTOS, M. A. C. ; MELO, W. M. ; FALCAO, E. P. S. ; MELO, G. C. . Equipagem Telescópio Meade LX-200 Schmidt-Cassegrain 16 f/10 + CCD ST-8. 1999. |
| 4. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; ARAUJO, A. E. P. ; FALCAO, E. P. S. . Relatório de Credenciamento no Conselho Nacional de Pesquisas - CNPQ / Entidade de Pesquisa. 1997. |
| 5. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; ARAUJO, A. E. P. ; FALCAO, E. P. S. ; SANTOS, M. A. C. . Ulysses Comet Watch / UCW - National Aeronautics and Space Administration / NASA - Imagiamento CCD de Caudas Plasmáticas Cometárias. 1994. |
| Demais tipos de produção técnica |
| 1. | SILVA, Emmanuel Felix Lopes da ; Fábio Borges . Introdução a Teoria da Complexidade Computacional Clássica. 2010. (Curso de curta duração ministrado/Outra). |
| 2. | BEZERRA, L. B. ; ARAUJO, A. E. P. ; SILVA, Emmanuel Felix Lopes da ; MELO, W. M. . Observatório do Pico do Dias / Laboratório Nacional de Astrofísica(LNA). 2003. (Visita Técnica). |
| 3. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; MELO, W. M. . La Silla Observatory / European Southern Observatory(ESO). 1999. (Visita Técnica). |
| 4. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da ; MELO, W. M. . Cerro Tololo Observatory / Association of Universities for Research in Astronomy(AURA). 1999. (Visita Técnica). |
| 5. | SILVA, Emmanuel Felix Lopes da ; BEZERRA, L. B. . Mount Wilson Observatory / California Institute of Technology(CALTECH). 1997. (Visita Técnica). |
| 6. | BEZERRA, L. B. ; SILVA, Emmanuel Felix Lopes da . Mount Palomar Observatory / California Institute of Technology(CALTECH). 1997. (Visita Técnica). |
Eventos
| Participação em eventos |
| 1. | III Workshop - Escola de Computação e Informação Quântica. 2010. (Outra). |
| 2. | 13nd Workshop on Logic, Language, Information and Computation. 2006. (Outra). |
| 3. | XXVI CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL.CONGRESSO. 2003. (Congresso). |
| 4. | XXVI CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL. 2003. (Congresso). |
| 5. | XXIX Reunião Anual da Sociedade Astronômica Brasileira - SAB.An Automated Alert Response System To Capture Gamma-Ray Burst Afterglows In Optical Range. 2003. (Congresso). |
| 6. | XXVIII Reunião Anual da Sociedade Astronômica Brasileira - SAB.Center for Astronomical Studies of Pernambuco - Publicising, Teaching and Researching on Astronomy. 2002. (Congresso). |
| 7. | 1o. ENCONTRO PEDAGÓGICO.PALESTRANTE. 1998. (Outra). |
| 8. | IV Escola Mário Schenberg de Pós Graduação em Física. 1997. (Outra). |
| 9. | XI ENCONTRO BRASILEIRO DE LÓGICA. 1996. (Encontro). |
| 10. | TÓPICOS DE TEORIA DA CIÊNCIA (PALESTRA). 1996. (Outra). |
| 11. | 2nd Workshop on Logic, Language, Information and Computation. 1995. (Outra). |
| 12. | LÓGICAS NÃO-CLÁSSICAS (PALESTRA). 1994. (Outra). |
| 13. | SEMANA DE MATEMÁTICA. 1988. (Outra). |
| 14. | SEMANA DE MATEMÁTICA. 1987. (Outra). |
Outras informações relevantes
1. Realizou estágios nas seguintes Universidades:
Stanford University, SU, Estados Unidos - Departament of Philosophy - 2º Semestre 2006
Universidade de Lisboa, Portugal - Centro de Matemática e Aplicações Fundamentais - 2º Semestre 2007
2. Artigo submetido para publicação no JCSS (Journal of Computer and System Sciences
Título: Arithmetic Characterization of Polynomial Space Computable Functions: a Model Theoretic Approach
Autores: Emmanuel Felix Lopes da Silva, Ricardo Bianconi e Ruy Guerra Barreto de Queiroz
Mês/Ano: Dezembro/2010
.
|
| Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 21:08:35 |