Diretório de grupos de pesquisa|
Eduardo Nahum Ochs possui mestrado em Matemática pela Pontifícia Universidade Católica do Rio de Janeiro (1999) e doutorado em Matemática pela Pontifícia Universidade Católica do Rio de Janeiro (2003). Atualmente é quase professor do Pólo Universitário de Rio das Ostras - UFF (veja http://angg.twu.net/concurso.html). Home page: http://angg.twu.net/ .
Última
atualização do currículo em 27/02/2009
Endereço para acessar este CV: http://lattes.cnpq.br/7920322737843052 |
Dados pessoais
| Nome | Eduardo Nahum Ochs |
| Nome em citações bibliográficas | OCHS, E. N. |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal Fluminense, PURO - Pólo Universitário de Rio das Ostras, DCT - Depto. de Ciência e Tecn. Rua Recife, quadra 7, lotes 1 ao 7 e 22 Jardim Bela Vista 28890-000 - Rio das Ostras, RJ - Brasil Telefone: (22) 27600848 URL da Homepage: http://www.puro.uff.br/ |
Formação acadêmica/Titulação
| 1999 - 2003 | Doutorado em Matemática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC/RJ, Brasil. com período sanduíche em Mcgill University(Orientador:Robert A. G. Seely ). Título: O Que é o esqueleto de uma demonstração?, Ano de Obtenção: 2003. Orientador:  Nicolau Corção Saldanha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, , . Palavras-chave: categorias; lógica; lambda-cálculo; semântica; teoria de tipos. Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática. |
| 1996 - 1999 | Mestrado em Matemática
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC/RJ, Brasil. Título: Categorias, filtros e infinitesimais naturais, Ano de Obtenção: 1999. Orientador: Nicolau Corção Saldanha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, , . Palavras-chave: categorias; lambda-cálculo; lógica; filtros; análise não-standard. |
| 1991 - 1996 | Graduação em Matemática aplicada
.
Pontifícia Universidade Católica do Rio de Janeiro, PUC/RJ, Brasil. |
Atuação profissional
| Universidade Federal Fluminense, UFF, Bolívia. |
| Vínculo institucional |
| 2009 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Doutor, Carga horária: 40, Regime: Dedicação exclusiva. |
| Omnisys Engenharia, OMNISYS, Brasil. |
| Vínculo institucional |
| 2007 - 2008 | Vínculo: Pessoa Jurídica, Enquadramento Funcional: Analista/Programador, Carga horária: 45 |
| Digirati Informática, DIGIRATI, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Celetista, Enquadramento Funcional: Analista de Rede Sênior, Carga horária: 32 |
| Pontifícia Universidade Católica do Rio de Janeiro, PUC/RJ, Brasil. |
| Vínculo institucional |
| 2007 - 2007 | Vínculo: Free-lancer, Enquadramento Funcional: Analista/Programador, Carga horária: 40 |
| DBA Engenharia de Sistemas, DBA, Brasil. |
| Vínculo institucional |
| 2005 - 2006 | Vínculo: Celetista, Enquadramento Funcional: Consultor 4, Carga horária: 40 |
| Universidade do Estado do Rio de Janeiro, UERJ, Brasil. |
| Vínculo institucional |
| 2004 - 2004 | Vínculo: Professor Substituto, Enquadramento Funcional: Professor Doutor, Carga horária: 20 |
| Atividades |
| 3/2004 - 12/2004 | Ensino, Licenciatura em Matemática, Nível: Graduação. |
| Disciplinas ministradas Tendências Atuais do Ensino de Ciências (para o curso de Formação de Professores do Ensino Fundamental) Fundamentos da Matemática (para Pedagogia) Estatística aplicada à Pesquisa Educacional (para Pedagogia) Geometria Analítica (para Licenciatura em Matemática) Fundamentos da Computação (para Licenciatura em Matemática) |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra /
Especialidade: Lógica Matemática. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra /
Especialidade: Teoria de Categorias. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Francês | Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco. |
| Espanhol | Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco. |
Prêmios e títulos
| 2008 | Aprovado no concurso pra Professor Adjunto de Matemática, UFF - Pólo Universitário de Rio das Ostras. |
Produção em C,T & A
| Produção bibliográfica |
| Capítulos de livros publicados |
| 1. |  OCHS, E. N. . Boostrapping a Forth in 40 lines of Lua code.
In:
Luiz Henrique Figueiredo; Roberto Ierusalimschy; Waldemar Celes.
(Org.). Lua Programming Gems. 00
ed. 00:
00,
2008, v. 00, p. 00-00. |
| Resumos publicados em anais de congressos |
| 1. | OCHS, E. N. . A system of natural deduction for categories. In: CMS Summer 2002 Meeting, 2002, Quebec City, Quebec, Canadá. CMS Summer 2002 Meeting. Quebec City, 2002. |
| 2. | OCHS, E. N. . A system of natural deduction for categories. In: Natural Deduction Rio 2001, 2001, Rio de Janeiro, RJ. Natural Deduction Rio 2001. Rio de Janeiro : PUC-Rio, 2001. |
| Apresentações de Trabalho |
| 1. | OCHS, E. N. . Sistemas de Tipos com Dicionários. 2006. (Apresentação de Trabalho/Seminário). |
| 2. | OCHS, E. N. . Sistemas de Tipos com Dicionários - Parte II. 2006. (Apresentação de Trabalho/Seminário). |
| 3. | OCHS, E. N. . Sistemas de Tipos com Dicionários - Parte III. 2006. (Apresentação de Trabalho/Seminário). |
| 4. | OCHS, E. N. . Sistemas de Tipos com Dicionários - Parte IV: Uma Aplicação.
2006. (Apresentação de Trabalho/Seminário). |
| 5. | OCHS, E. N. . Simplifying Proofs in Categorical Semantics Using Downcased Types. 2006. (Apresentação de Trabalho/Conferência ou palestra). |
| 6. | OCHS, E. N. . A Language for Categorical Semantics: System DNC (I). 2005. (Apresentação de Trabalho/Seminário). |
| 7. | OCHS, E. N. . A Language for Categorical Semantics: System DNC (II). 2005. (Apresentação de Trabalho/Seminário). |
| 8. | OCHS, E. N. . A Language for Categorical Semantics: System DNC (III). 2005. (Apresentação de Trabalho/Seminário). |
| 9. | OCHS, E. N. . A system of natural deduction for categories. 2002. (Apresentação de Trabalho/Seminário). |
| 10. | OCHS, E. N. . A system of natural deduction for categories. 2002. (Apresentação de Trabalho/Seminário). |
| 11. | OCHS, E. N. . A system of natural deduction for categories.
2002. (Apresentação de Trabalho/Conferência ou palestra). |
| 12. | OCHS, E. N. . A system of natural deduction for categories. 2002. (Apresentação de Trabalho/Conferência ou palestra). |
| 13. | OCHS, E. N. . "Set^C is a topos" has a syntactical proof. 2001. (Apresentação de Trabalho/Seminário). |
| 14. | OCHS, E. N. . Nonstandard Analysis with Filters. 2000. (Apresentação de Trabalho/Conferência ou palestra). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | OCHS, E. N. . Middle-C. 2007. |
| 2. | Simpson, M. D. ; OCHS, E. N. . RubyForth. 2007. |
| 3. | OCHS, E. N. . Blogme3. 2005. |
| 4. | OCHS, E. N. . Dednat4. 2003. |
| 5. | OCHS, E. N. . Eev. 1999. |
| Demais tipos de produção técnica |
| 1. | OCHS, E. N. . Programação em Lua. 2005. (Curso de curta duração ministrado/Outra). |
| 2. | OCHS, E. N. . Programação em Lua. 2004. (Curso de curta duração ministrado/Outra). |
| Página gerada pelo Sistema Currículo Lattes em 09/02/2010 às 19:43:31 |