Eduardo Nahum Ochs

  • Endereço para acessar este CV: http://lattes.cnpq.br/7920322737843052
  • Última atualização do currículo em 17/04/2012


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 é Professor Adjunto no Pólo Universitário de Rio das Ostras - UFF. Home page: http://angg.twu.net/ . (Texto informado pelo autor)


Identificação


Nome
Eduardo Nahum Ochs
Nome em citações bibliográficas
OCHS, E. N.

Endereço


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-Rio, 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-Rio, 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-Rio, 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.

Atividades

03/2012 - 07/2012
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Bioestatistica (para o curso de graduacao em Enfermagem)
Matematica Discreta (para Ciencia da Computacao)
Geometria Analitica (para Ciencia da Computacao e Engenharia de Producao)
08/2011 - 12/2011
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Matematica Discreta (para Ciencia da Computacao)
Geometria Analitica (para Ciencia da Computacao e Engenharia de Producao)
03/2011 - 07/2011
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Matematica Discreta (para Ciencia da Computacao)
Geometria Analitica (para Ciencia da Computacao e Engenharia de Producao)
08/2010 - 12/2010
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Matematica Discreta (para Ciencia da Computacao)
Calculo 2 (para Ciencia da Computacao e Engenharia de Producao)
03/2010 - 07/2010
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Matematica Discreta (para Ciencia da Computacao)
Calculo 2 (para Ciencia da Computacao e Engenharia de Producao)
8/2009 - 12/2009
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Calculo 4 (para Engenharia de Producao)
Calculo 2 (para Ciencia da Computacao e Engenharia de Producao)
Matematica Discreta (para Ciencia da Computacao)
3/2009 - 7/2009
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Calculo 2 (Para Ciencia da Computacao e Engenharia de Producao)
Calculo 1 (para Engenharia de Producao)
Matematica Discreta (para Ciencia da Computacao)

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

2007 - 2007
Vínculo: Free-lancer, Enquadramento Funcional: Analista/Programador, Carga horária: 40


DBA Engenharia de Sistemas.
Vínculo institucional

2005 - 2006
Vínculo: Celetista, Enquadramento Funcional: Consultor 4, Carga horária: 40


Digirati Informática.
Vínculo institucional

2007 - 2007
Vínculo: Celetista, Enquadramento Funcional: Analista de Rede Sênior, Carga horária: 32


Omnisys Engenharia.
Vínculo institucional

2007 - 2008
Vínculo: Pessoa Jurídica, Enquadramento Funcional: Analista/Programador, Carga horária: 45


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ções



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. 00ed.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.

Artigos aceitos para publicação
1.
OCHS, E. N.. Internal Diagrams in Category Theory. Logica Universalis (Print), 2012.

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
Programas de computador sem registro
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).



Eventos



Participação em eventos, congressos, exposições e feiras
1.
V Seminário E-TIC. Software Livre, TV Digital e Rádio Digital: desafios e perspectivas para a Educação (mesa redonda). 2007. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 14/11/2018 às 18:23:51