Isabel Leite Cafezeiro

Possui graduação em Ciência da Computação pela Universidade Federal Fluminense (1992), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1994), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2000) e pós-doutorado pelo Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia da UFRJ. É Professora Titular do Instituto de Computação da Universidade Federal Fluminense, professora colaboradora do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia, da UFRJ. Atua na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, focando principalmente nos seguintes temas: linguagens de programação e especificação formal de sistemas. Atua na área de Sistemas de Informação focando principalmente nos seguintes temas: Computação e Sociedade e Abordagens Sociotécnicas em Sistemas de Informação. Atua na área de Estudos Sociais de Ciência e Tecnologia, focando principalmente a História da Computabilidade e investigações sobre o trabalho acadêmico. Atua em ensino de graduação na Universidade Federal Fluminense desde 1994 e coordena projetos de extensão desde 2005. Participou do processo de concepção e implantação do curso de Bacharelado em Sistemas de Informação da Universidade Federal Fluminense, do qual foi vice-coordenadora por seis anos. É sócia fundadora e membro do comitê consultor da Associação Brasileira de Estudos Sociais de Ciência e Tecnologia (ESOCITE.BR). É sócia das seguintes entidades: Associação Nacional de História (ANPUH), Sociedade Brasileira de História das Ciências (SBHC), International Association for Computing And Philosophy (IACAP), Computability in Europe(CiE), Sociedade Brasileira de Computação(SBC).

Informações coletadas do Lattes em 05/02/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Informática

1994 - 2000

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Compartilhamento e Semântica Denotacional
Orientador: Edward Hermann Heausler
Palavras-chave: Compartilhamento de Recursos; Semântica Denotacional; Teoria dos Domínios; Especificações Formais de Sistemas.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Informática

1992 - 1994

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Protótipo para Especificação de Processos baseado em CSP: Um Enfoque em Orientação a Objetos,Ano de Obtenção: 1994
Edward Hermann Haeusler.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Especificação Formal de Sistemas; Semântica de Programas; Orientação a Objetos; Semântica Operacional; CSP.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Graduação em Ciência da Computação

1987 - 1992

Universidade Federal Fluminense

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2011 - 2011

Pós-Doutorado. , Pós-graduação em História das Ciências e das Técnicas - UFRJ, HCTE- UFRJ, Brasil. , Grande área: Ciências Humanas, Grande Área: Ciências Humanas / Área: Sociologia / Subárea: Sociologia do Conhecimento.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Humanas / Área: Sociologia / Subárea: Interdisciplinar.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Estudos de Ciência, Tecnologia e Sociedade.

    Grande área: Ciências Humanas / Área: Educação.

    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.

    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.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

CAFEZEIRO, Isabel . VIII ESOCITE.BRASIL - organização. 2019. (Congresso).

CAFEZEIRO, Isabel . VII ESOCITE.BRASIL TECSOC - organização de aglomerados. 2019. (Outro).

CAFEZEIRO, Isabel ; MANICA, D. . I Concurso de Teses e Dissertações ESOCITE.BR. 2019. (Concurso).

CAFEZEIRO, Isabel . Primeiro Encontro de Extensão do Instituto de Computação. 2018. (Outro).

CAFEZEIRO, Isabel ; TREVISAN, D. . Visita à Casa da Descoberta. 2018. (Outro).

CAFEZEIRO, Isabel . II CCBWIKI, Congresso Científico Brasileiro da Wikipédia e do I IWSC, International Wikipedia Scientific Congress. 2017. (Congresso).

CAFEZEIRO, Isabel . VII ESOCITE.BRASIL TECSOC - organização. 2017. (Congresso).

CAFEZEIRO, Isabel . VII ESOCITE.BRASIL TECSOC - organização de aglomerados. 2017. (Outro).

Cafezeiro, Isabel ; DANTAS, R. ; KUBRUSLY, R. ; FROES, M. ; MARTINS, M. ; EVANGELISTA, G. ; BIZZO, M. L. G. ; LEAL, A. ; OURIQUES, E. ; FEIO, P. ; SANTOS, D. M. ; SOUZA FILHO, C. . Scientiarum História IX. 2016. (Congresso).

MARQUES, I. C. ; CAFEZEIRO, I. L. ; PAIVA, E. N. . VI ESOCITE.BRASIL TECSOC - organização. 2015. (Congresso).

Cafezeiro, Isabel ; MARQUES, I. C. ; PAIVA, E. N. ; CUKIERMAN, H. L. ; JONATHAN, M. ; SANTOS, D. M. . VI ESOCITE.BRASIL TECSOC - organização de aglomerados. 2015. (Congresso).

CAFEZEIRO, I. L. ; MARQUES, I. C. ; PAIVA, E. N. . Ator Rede e além ... no Brasil. 2013. (Congresso).

FREITAS, Renata ; BRAGA, C. ; PEREIRA, L. C. ; AYALA-RINCÓN, M ; CAFEZEIRO, I. L. . 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012. (Congresso).

CAFEZEIRO, I. L. ; MARQUES, I. C. ; PAIVA, E. N. . Ato-Rede 2012. 2012. (Congresso).

CAFEZEIRO, I. L. ; LIMA, Rosângela ; COSTA, L. C. ; JUNIOR, I. C. ; BOSCARIOLI, Clodis . Encontro Nacional de Informática e Educação. 2011. (Congresso).

CAFEZEIRO, I. L. ; MARQUES, I. C. ; DANTAS, R. ; KUBRUSLY, R. . Avaliação da produção científica brasileira: pensando com a história das ciências. 2011. (Outro).

CAFEZEIRO, I. L. ; LIMA, Rosângela . Oficina Informal. 2011. (Festival).

CAFEZEIRO, I. L. ; TREVISAN, D. . Semana Nacional de Ciência, Tecnologia e Inovação. 2010. (Outro).

CAFEZEIRO, Isabel ; MARQUES, I. C. ; PAIVA, E. N. . Ato-rede. 2010. (Outro).

CAFEZEIRO, I. L. . Semana Nacional de Ciência e Tecnologia e agenda acadêmica. 2009. (Outro).

CAFEZEIRO, I. L. ; MARQUES, I. C. ; PAIVA, E. N. . Ato-Rede 2009. 2009. (Congresso).

CAFEZEIRO, I. L. ; BOKEHI, J. R. . Palestras para alunos da Graduação em Ciência da Computação Roberto Bigonha Regulamentação da Profissão e criação do CR. 2007. (Outro).

CAFEZEIRO, Isabel . XII Semana de Extensão da UFF. 2007. (Outro).

CAFEZEIRO, I. L. ; BOKEHI, J. R. . Palestras para alunos da Graduação em Ciência da Computação Sérgio Amadeu SOFTWARE LIVRE: A SUPERIORIDADE DO DESENVOLVIMENTO COLABORATIVO. (OU: PORQUE COLABORAR É MAIS EFICIENTE QUE COMPETIR?). 2006. (Outro).

CAFEZEIRO, Isabel ; BRAGA, C. ; SPINOLA, A. I. . VIII SBLP (Simpósio Brasileiro de Linguagens de Programação). 2004. (Congresso).

HAEUSLER, E. H. ; CAFEZEIRO, I. L. ; GARCIA, A. V. . VI SBLP (Simpósio Brasileiro de Linguagens de Programação). 2002. (Congresso).

CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; GARCIA, A. V. . IV Workshop de Métodos Formais. 2001. (Congresso).

Cafezeiro, Isabel . Semana de Apresentação dos Projetos de Aplicação. 1996. (Outro).

Cafezeiro, Isabel . Semana de Apresentação dos Projetos de Aplicação. 1995. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

Ato-Rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.Matemática Feminista. 2018. (Encontro).

VII ESOCITE.BRASIL TECSOC.Computação Desplugada e Educada. 2017. (Simpósio).

15º Seminário Nacional de História da Ciência e da Tecnologia. Em fuxicos se fazem ciências e artes. 2016. (Congresso).

Scientiarum História IX. Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas. 2016. (Congresso).

XII Encontro Nacional de Educação Matemática. Arremates em pesponto. Alinhavos sobre matemática e matemáticos. 2016. (Congresso).

XXII Simpósio Brasileiro de Sistemas de Informação. Abordagem Sociotécnica. 2016. (Congresso).

XXXVI Congresso da Sociedade Brasileira de Computação - 24o Workshop em Educação em Informática. Modos contemporâneos de aprendizado e construção do conhecimento: reflexões sobre o ensino de Teoria da Computação para Sistemas de Informação. 2016. (Congresso).

Scientiarum História VIII. Que teus olhos sejam atendidos!. 2015. (Congresso).

VI ESOCITE.BRASIL TECSOC. Aglomerados. 2015. (Congresso).

13th International Public Communication of Science and Technology Conference. Mathematics, Mathematical Practice and Communication of Mathematics. 2014. (Congresso).

14º Seminário Nacional de História da Ciência e da Tecnologia. Traduções, desvios, problematizações, transgressões e desdisciplinaridades. 2014. (Congresso).

16th International Conference on Human-Computer Interaction. A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions. 2014. (Congresso).

I Escola Regional de Sistemas de Informação RJ. 2014. (Encontro).

Scientiarum História VII. 2014. (Congresso).

The Annual Meeting of the International Association for Computing and Philosophy.ANTI-REDUCTIONIST COMPUTATIONAL METAPHORS IN EVOLUTION, METAMATHEMATICS, COMPUTING AND THE CONTEMPORARY HUMAN SELF-IMAGE (ARCM). 2014. (Simpósio).

Agenda Acadêmica UFF.Comput@arte. 2013. (Encontro).

Aneis 2013. Ensino a Alunos Superdotados: a mediação por meio da robótica educativa. 2013. (Congresso).

Ator-Rede e Além no Brasil Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.A crise do software e a configuração da área de computação. 2013. (Encontro).

Scientiarum História VI. Meio homem, meio máquina: o computador e os híbridos. 2013. (Congresso).

Semana Municipal da Inclusão Digital.Inclusão Digital: Verso e Reverso. 2013. (Seminário).

Seminário CMPDI.Educação e Tecnologias (Relatos de Ações em Diversidade e Inclusão). 2013. (Seminário).

Seminário CMPDI.Mediação Tecnológica no Processo de Aprendizagem. 2013. (Seminário).

13º Seminário Nacional de História da Ciência e da Tecnologia. Localizando a Matemática: o infinito e seus rastros. 2012. (Congresso).

Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedadeade.Localizando a Matemática. 2012. (Encontro).

Cie: Computability in Europe. Turings Centenary Conference. Interweavings of Alan Turing?s Mathematics and Sociology of Knowledge. 2012. (Congresso).

LSFA 2012 - 7th Workshop on Logical and Semantic Frameworks, with Applications.Relato de trabalho em Homenagem aos 50 anos de Edward Hermann Haeusler. 2012. (Seminário).

Scientiarum Historia V. Sobre o trabalho das/os matemáticas/os. 2012. (Congresso).

6o Encontro Luso Brasileiro de História da Matemática. Localizando a matemática. Contribuições à Sociologia do Conhecimento a partir da análise de 'On Computable Numbers with an application to the entscheidungproblem'. 2011. (Congresso).

Ações Extensionistas em Diálogos.Diálogos Proex - seminários de extensão. 2011. (Encontro).

Avaliação da Produção Científica Brasileira.Pensando com a História das Ciências. 2011. (Seminário).

Ciências & Humanidades.Localizando a Matemática. 2011. (Encontro).

II ENINED - Encontro Nacional de Informática e Educação. Oficina Comput@arte. 2011. (Congresso).

Logics and Ontologies for Portuguese.Localizing Math. 2011. (Encontro).

Scientiarum História IV. Da corte suprema, a matemática, à matemática nos tribunais. 2011. (Congresso).

XXVI Simpósio Nacional de História. Alan Turing, Lápis, Papel e a Calculabilidade: uma etnografia do conhecimento matemático. 2011. (Congresso).

Agenda acadêmica 2010.Pibit Pibinova. 2010. (Encontro).

Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.Extensão Universitária. 2010. (Encontro).

International Conference of Education, Research and Innovation. The technological mediation as a strategy to innovate the teacher-student interaction. 2010. (Congresso).

Semana Nacional de Ciência, Tecnologia e Inovação.Cursos e oficinas dos projetos de extensão. 2010. (Oficina).

Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.Sobre o trabalho extensionista no IC-UFF. 2009. (Encontro).

Encontro Nacional de Informática e Educação.Ensinando e aprendendo no mundo das tecnologias. 2009. (Encontro).

Foro Iberoamericano de Comunicação e Divulgação Científica. Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas. 2009. (Congresso).

Semana de Extensão UFF.Apresentação dos projetos de extensão. 2009. (Encontro).

Semana Nacional de Ciência, Tecnologia e Inovação.Oficinas e atividades dos projetos de extensão. 2009. (Oficina).

11o Seminário Nacional de História das Ciências e das Tecnologias e E.Extensão Universitária sob enfoque sociotécnico. 2008. (Seminário).

Escola Regional de Computação do Centro Oeste.Computabilidade: História e Matemática. 2008. (Outra).

Esocite - Jornadas Latino-Americanas de Estudos Sociais das Ciências e das Tecnologias. 2008. (Congresso).

Semana Comemorativa do Dia Municipal de Inclusão Digital.Fios e Desafios da Inclusão Digital. 2008. (Encontro).

Semana de Extensão.Projeto Incluir. 2008. (Outra).

Semana Nacional de Ciência e Tecnologia.Mostra das Iniciativas de Inclusão Digital do Instituto de Computação da UFF. 2008. (Outra).

Seminário de Pesquisa em Ontologia no Brasil.ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua. 2008. (Seminário).

Escola Regional de Computação de Minas Gerais.Computabilidade: História e Matemática. 2007. (Outra).

LAPTEC ( The SixthCongress of Logic Applied to Technology). Algebraic Framework for Reverse Engineering on Specifications. 2007. (Congresso).

Semana Comemorativa do Dia Municipal de Inclusão Digital.Fios e Desafios da Inclusão Digital. 2007. (Encontro).

Semana de Extensão UFF.Projeto Incluir. 2007. (Encontro).

3º Congresso Internacional de Gestão de Tecnologia e Sistemas de Informação. Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. 2006. (Congresso).

Semana de Monitoria.Linguagens de Programação. 2006. (Outra).

Seminário Conexão de Saberes.Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. 2006. (Seminário).

Simpósio Brasileiro de Linguagens de Programação. 2004. (Congresso).

VIII Semana de Monitoria UFF.Desenvolvimento de Aplicações em Linguagens formais. 2004. (Seminário).

VII Semana de Monitoria da UFF.Banco de Softwares. 2003. (Seminário).

LAPTEC ( The third Congress of Logic Applied to Technology). Categorical Limits and Reuse of Algebraic Specifications. 2002. (Congresso).

Semana da Matemática.Limites Categóricos e Especificações Algébricas. 2002. (Seminário).

V Semana Monitoria UFF.Instrumento de apoio ao ensino da linguagem fortran G. 2002. (Seminário).

II Workshop in Formal Methods.Sharing and Denotational Semantics. 2000. (Simpósio).

SBLP (II Simpósio Brasileiro de Linguagens de Programação).From Diagrams to Code Via Attribute Grammars. 1997. (Simpósio).

SBLP (I Simpósio Brasileiro de Linguagens de Programação).Paradigmas de Linguagens de Programação: uma abordagem geométrica.. 1996. (Simpósio).

XIV Congresso da Sociedade Brasileira de Computação (XXI SEMISH). Protótipo para especificação de Processos baseado em CSP. 1994. (Congresso).

VII Simpósio Brasileiro de Engenharia de Software. 1993. (Simpósio).

2a SEMEC-UFF 1o ERMAC-RJ-ES (Encontro Regional de Matemática). 1990. (Encontro).

II EMAI: Encontro Estadual de Estudantes de Matemática Aplicada e Informática. 1990. (Encontro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Beatriz dos Ramos Pinto

CAFEZEIRO, Isabel; DELMAS, A. S. B. B.; PARAENSE, N.; NADER, R. V.; RODRIGUES, D. W. L.. Desenho Geométrico e Projetivo no Brasil: aspectos legais, correlações interdisciplinares e apontamentos para o futuro. 2019. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Paula Gonçalves

KUBRUSLY, R.CAFEZEIRO, Isabel; BENFEITO, A. P.. Perguntas e Historias sobre o Infinito Matematico: o que os estudantes da educacao basica desejam saber acerca da Historia Cultural do Infinito?. 2019. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Lucia Faria da Costa Rodrigues

BORGES, J. A. S.;MARQUES, I. C.CAFEZEIRO, Isabel; SCHMITZ, E. A.. Terminal Inteligente: Acompanhando o percurso de um microcomputador brasileiro do laboratório à indústria. 2019. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Fernando César da Silva Nascimento

CAFEZEIRO, Isabel; ROCHA, A. C.; SENRA, A. V.; DANTAS, R.. Ciências, Tecnologias e Educação: uma história em descompasso pelo ponto de vista de um professor do ensino médio público. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Dorival Rodrigues da Rocha Junior

KUBRUSLY, R.Cafezeiro, Isabel; ROCHA, A. C.; REIS, T. S.. Uma Análise da Influência da Escrita Simbólica no Rigor e Precisão sob o Olhar da Semiótica. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Sicleidi Valente dos Santos Britto

KUBRUSLY, R.; SANTOS, A. R.;CAFEZEIRO, Isabel. A justificação finitista da noção de infinito atual por David Hilbert. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Pedro Henrique da Costa Braga

CUKIERMAN, H. L.; ALVEAR, C. A. S.; SOUZA, A. C. G.;CAFEZEIRO, Isabel. Uma proposta de extensão inspirada na Pesquisa-ação para atuar no combate à vigilância digital no Rio de Janeiro. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Maria do Perpétuo Socorro Lopes S

DANTAS, R.;CAFEZEIRO, Isabel. da Silva. Uma contribuição à História das Mulheres nas Ciências no Brasil: Heloísa Alberto Torres, a primeira Diretora do Museu Nacional/UFRJ. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Maria Cristina de Oliveira Cardoso

DANTAS, R.;CAFEZEIRO, Isabel; MELLO, P. M. A. C.. CONVERGÊNCIA, DIVERGÊNCIAS E REFLEXÕES SOBRE A PÓS-GRADUAÇÃO INTERDISCIPLINAR NO BRASIL E SUA AVALIAÇÃO : Uma proposta de tradução. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Gabriela Reznik

MOREIRA, I. C.; MASSARANI, L. M.; FRESQUET, A. M.; REZENDE FILHO, L. A. C.;Cafezeiro, Isabel. Imagem da ciência e de cientistas em curtas de animação. 2017. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Cristina Bruno de Lima

COELHO, C. L. M.; BARRETO, C. M. B.; BARBOSA, C. M.;CAFEZEIRO, Isabel. Transtorno de Défict de Atenção/Hiperatividade (TDAH) - um olhar sob a perspectiva da Educação Especial Inclusiva - Guia para Professores. 2017. Dissertação (Mestrado em CMPDI) - Universidade Federal Fluminense.

Aluno: Gonzalo de Alencar Lopez

PAIVA, E. N.;CAFEZEIRO, IsabelMARQUES, I. C.; SANTOS, M. P.; DANTAS, R.. SEGUINDO O DIREITO EDUCACIONAL DE ESTUDANTES COM DEFICIÊNCIA NAS ESCOLAS DO MUNICÍPIO DO RIO DE JANEIRO. 2017. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Marcelly Reis Carvalho

LIMA, RosângelaCAFEZEIRO, Isabel; MONTEIRO, R. S.; MONTEIRO, M.. Competências Docentes na Diversidade em EAD: refletindo acerca da inclusão de deficientes visuais. 2015. Dissertação (Mestrado em CMPDI) - Universidade Federal Fluminense.

Aluno: Eduardo Erick Oliveira Pereira

Cafezeiro, IsabelLIMA, Rosângela; LOUREIRO, J. O. P.. Casa Adaptada a Cadeirantes: Um desafio didático ao ensino a superdotados.. 2015. Dissertação (Mestrado em Mestrado Profissionalizante em Diversidade e Inclu) - Universidade Federal Fluminense.

Aluno: Maurício Ribeiro Gomes

CAFEZEIRO, I. L.; DELOU, C. M. C.; LIMA, P. M. V.; OLIVEIRA, C. E. T.; SAMPAIO, F. F.; ELIA, M. F.. Uma proposta pedagógica para oficinas de robótica educacional orientada a alunos com Altas Habilidades/Superdotação. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Vera Dantas

OLIVEIRA, J. C.;CAFEZEIRO, I. L.; CARDOSO, M.; TIGRE, P. B.. Engenheiros que não queriam vender Computadores: a comunidade acadêmica de informática e a reserva de mercado. 2013. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Marco Damiani

CAFEZEIRO, I. L.; MONTES, L. C. M.; ARAÚJO, R. M.. Experiência do Usuário Idoso na Internet: Capital Técnico e a Evolução do Conhecimento em TI através de Redes Sociais.. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Bruno Schroeder

CAFEZEIRO, I. L.; HAMAZAKI, Geiza M.; BENEVIDES, M. R. F.;HAEUSLER, E. H.. A Graph Based Theorem Proving Plataform with Strategies. 2008. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Walmir Couto

CAFEZEIRO, I. L.; GARCIA, A. V.; XEXEO, J. A. M.. Uso de Padrões de Código no Ensino de Java. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

Aluno: Eduardo Soares de Albuquerque

CAFEZEIRO, I. L.HEAUSLER, E. H.; GARCIA, A. V.. Detecção de Padrões de Código Java na Plataforma Eclipse. 2005. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Aluno: Carolina Alves D?Almeida

DANTAS, R.;CAFEZEIRO, IsabelKUBRUSLY, R.; SILVA, E. R.; PAIXAO, R. L.. No mesmo barco: a diversidade epistêmica na construção dos conhecimentos sobre os animais. 2019. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: André Vinicius Lira Costa

KUBRUSLY, R.CAFEZEIRO, Isabel; RAMALHO, C. G. A.; CASTRO, A. J. J. E.; PINHO, K. R. O.. Poética como princípio da Técnica. 2019. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Ivaneide Nunes Paulino Grizente

DANTAS, R.;KUBRUSLY, R.; FROES, M.;CAFEZEIRO, Isabel; DARBILLY, L. V. C.; NADER, R. V.. PERTENCIMENTO A FLOR DA PELE: TATUAGEM E AS MARCAS DO AMOR QUE APRISIONA ? O CASO PENITENCIÁRIA FEMININA DE SANTANA - SP. 2019. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Maria de Lourdes Rocha de Assis Jeanrenaud

KUBRUSLY, R.CAFEZEIRO, Isabel; MOURA, C. A.; MARTINS, D. F. N.; OLIVEIRA, J. B. P.. David Hilbert e os fundamentos da Matemática: o sucesso de um fracasso. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Miguel Jonathan

MARQUES, I. C.CUKIERMAN, H. L.; CAMPOS, M. L. M.; FORNAZIN, M.;CAFEZEIRO, Isabel. A EVOLUÇÃO DA FORMAÇÃO EM COMPUTAÇÃO NO BRASIL E NA UFRJ: origens da especialização dos cursos de graduação. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Luiz Arthur Silva de Faria

CUKIERMAN, H. L.MARQUES, I. C.; FORNAZIN, M.;CAFEZEIRO, Isabel; SOUZA, A. C. G.; DINIZ, E. H.. DIGITALIZAÇÕES DE MOEDAS SOCIAIS NO BRASIL E SUAS (PRÉ)HISTÓRIAS: tensões e mediações com Estados, mercados e tecnologias. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Cristina de Melo Valente

CUKIERMAN, H. L.; SILVA, M. R. B.;CAFEZEIRO, IsabelMARQUES, I. C.. PROGRAMA UM COMPUTADOR POR ALUNO (PROUCA): ENTRELAÇANDO SONHOS E INTERESSES RIO DE JANEIRO 2018. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Vinicius Mendes Couto Pereira

SCHUBRING, G.;KUBRUSLY, R.CAFEZEIRO, Isabel; ROQUE, T. M.; MEDEIROS, L. A. J.; TEIXEIRA, M. V.. O Desenvolvimento da Análise no Brasil - um caminho sobre o surgimento de uma comunidade matemática. 2017. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Jacqueline Bernardo Pereira Oliveira

CAFEZEIRO, IsabelKUBRUSLY, R.; SANTOS, A. R.; SOARES, F. S.; NASSER, L.. PROJETO FUNDÃO: três décadas integrando Universidade com a Educação Básica. 2016. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Cristina Iachan

CAFEZEIRO, I. L.; DANTAS, R.; TIGRE, P. B.; OLIVEIRA, J. C.; CARDOSO, M.. DÁ LICENÇA.. LICENCINHA!?: a construção de um espaço para o minicomputador nacional. 2014. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Marcia de Oliveira Cardoso

OLIVEIRA, J. C.;CAFEZEIRO, I. L.; TIGRE, P. B.; DANTAS, M.;KUBRUSLY, R.; DANTAS, R.. O UNIX-compatível brasileiro a serviço de autonomia tecnológica na década de 1980. 2013. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Myriam Kienitz Lemos

FROES, M.; BARROS, M. M.;KUBRUSLY, R.CAFEZEIRO, Isabel. Análise de padrões em registros de jogo computacional neuropedagógico. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Mariane Brito Azevedo Borges

CAFEZEIRO, Isabel; DELMAS, A. S. B. B.; BORGES, J. A. S.; SOARES, C. C. P.. Um ponto no desenho para uma mudança na sua trajetória: o lugar e a relevância do desenho geométrico na formação escolar. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Suzana Quiroga

KUBRUSLY, R.CAFEZEIRO, Isabel; KOSMINSKY, D.; OLIVEIRA, L. A.; MORICONI, M.. Arte e Ciência: uma cartografia do tempo e do infinito. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Allan Kardec de Souza Filho

KUBRUSLY, R.CAFEZEIRO, Isabel; FROES, M.; OLIVEIRA, I. R.. MaisThesis: Princípio Epistemológico das Artes e Matemáticas. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Ivaneide Nunes Paulino Grizente

DANTAS, R.;CAFEZEIRO, Isabel; AYROSA, E. A. T.; DARBILLY, L. V. C.; NADER, R. V.. PERTENCIMENTO A FLOR DA PELE: TATUAGEM E AS MARCAS DO AMOR QUE APRISIONA ? O CASO PENITENCIÁRIA FEMININA DE SANTANA - SP Ivaneide. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Gustavo Gindre Monteiro Soares

PAIVA, E. N.;CAFEZEIRO, IsabelMARQUES, I. C.; NADER, R. V.; BRUNO, F. G.. Rumo à governança algorítmica: análise sociotécnica dos algoritmos de credit score. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Daniele Martins dos Santos

MARQUES, I. C.CAFEZEIRO, IsabelCUKIERMAN, H. L.; FONTES, A. R. C.; FERREIRA, L. O.; PAIVA, E. N.. DIREITO À SAÚDE NA MESA: uma audiência pública no STF.. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: VALESSA LEAL LESSA DE SÁ PINTO

KUBRUSLY, R.CAFEZEIRO, Isabel. LÓGICA RACIONAL E OBJETIVIDADE CULTURAL: UM ENSAIO SOBRE A NATUREZA HUMANA DA MATEMÁTICA. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: João Sérgio dos Santos Assis

MARQUES, I. C.; PAIVA, E. N.;CAFEZEIRO, Isabel; PARAENSE, N.; BEVILACQUA, L.. SUCESSO/FRACASSO DE UM PRODUTO TECNOLÓGICO: UM ROBÔ NO BRASIL DOS ANOS 1980. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Miguel Jonathan

MARQUES, I. C.CUKIERMAN, H. L.CAFEZEIRO, Isabel; PAIVA, E. N.; WERNER, C. M. L.; SAMPAIO, J. O.. A Evolução da Formação em Computação no Brasil. 2017. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Cristina de Melo Valente

CUKIERMAN, H. L.MARQUES, I. C.; SILVA, M. R. B.;CAFEZEIRO, I. L.. Alinhavando os projetos Um Computador por Aluno (UCA) e Educação com Computadores (EDUCOM). 2016. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Carlos Eduardo Mendes de Azevedo

Cafezeiro, Isabel; CARDOSO, M.; OLIVEIRA, A. R. E.; OLIVEIRA, J. C.. Propriedade Intelectual de Software: uma discussão sobre a conveniência da adoção de patentes. 2016. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Ana Christina Saraiva Iachan

CAFEZEIRO, I. L.; TIGRE, P. B.; DANTAS, R.; OLIVEIRA, J. C.; CARDOSO, M.;KUBRUSLY, R.. Dá Licença, Licencinha! A construção de um espaço para o minicomputador nacional. 2013. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.

Aluno: Marcia de Oliveira Cardoso

OLIVEIRA, J. C.;CAFEZEIRO, I. L.; TIGRE, P. B.; DANTAS, M.. O Sistema operacional SOX - um sistema operacional UNIX-compatível brasileiro" ou "A figuração do sistema UNIX-compatível brasileiro SOX como um projeto na contramão da História. 2012. Exame de qualificação (Doutorando em HCTE) - Universidade Federal do Rio de Janeiro.

Aluno: Elizabeth Maria Freire de Jesus

CAFEZEIRO, I. L.; PAIVA, E. N.; FREITAS, L. S.; MARANON, E. I. M.. UM OLHAR SOCIOTÉCNICO PARA A CONSTRUÇÃO DE UM ARTEFATO INFORMACIONAL: a construção de um sistema de Business Intelligence sob a perspectiva da Teoria Ator-Rede. 2013. Exame de qualificação (Mestrando em Ciências da Informação) - Universidade Federal Fluminense.

Aluno:  Leonardo Bruno Vana

GARCIA, A. C. B.;HAEUSLER, E. H.; CORRÊA, M. S.;Cafezeiro, Isabel. Um método de Tableaux para cálculo lambek. 2001. Exame de qualificação (Mestrando em Computação Aplicada e Automação) - Universidade Federal Fluminense.

Aluno: Eduardo Fernando Moreira Meca

CAFEZEIRO, I. L.; SPINOLA, A. I.; SILVA, K. G. C.. Algoritmo Euclidiano Estendido. 2005. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Federal Fluminense.

Aluno: Ana Valladares Zerbinato

SEIXAS, F.;CAFEZEIRO, Isabel; COSTA, L. C.. Prontuário Eletrônico: Fatores Críticos de Sucesso e Falha para a Implantação Efetiva. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Daniela Motta Bello

SEIXAS, F.; COSTA, L. C.;CAFEZEIRO, Isabel. Prontuário Eletrônico: Fatores Críticos de Sucesso e Falha para a Implantação Efetiva. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.

Aluno: Daniel Salles Da Rocha Lopes

MOCHETTI, K.;CAFEZEIRO, Isabel; COSTA, L. C.. Uma Ferramenta de Suporte à Avaliação Contínua. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Wilson Teles Marcolin Júnior

COSTA, L. C.; ROCHA, M.;CAFEZEIRO, Isabel. Onde está minha sala de aula?: Ajudando alunos a encontrarem sua sala de aula. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Lucas Henrique Tavares Monteiro

MOCHETTI, K.; COSTA, L. C.;CAFEZEIRO, Isabel. Utilização de Transformada Rápida de Fourier para detecção de notas musicais no ambiente de software livre da KDE. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Bárbara Moreira Drummond de Almeida

VITERBO, JoséCAFEZEIRO, Isabel; ALVES, L. B.. CatBot - Um agente conversacional para auxiliar estudantes acadêmicos. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Leonardo Portugal da Costa

CAFEZEIRO, Isabel; SALGADO, L.; FORNAZIN, M.. A construção da Lei Geral de Proteção de Dados e seus efeitos para o Pequeno Empresário e para o Cidadão. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Marcelo Freire Mendes

FORNAZIN, M.;CAFEZEIRO, Isabel; SILVA, S. L. F. C.. Prática de métodos ágeis na gestão de projetos de software livre. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Matheus Santana Siqueira

CAFEZEIRO, Isabel; COSTA, L. C.; ROCHA, M.. Esports e o ambiente acadêmico: uma perspectiva sobre o cenário. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Lucas Dutra Fernandes

CAFEZEIRO, Isabel; ROCHA, M.; NEVES, V. O.. Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Roberto Salviano da Silva

NEVES, V. O.; SILVA, B. D. G.;CAFEZEIRO, Isabel; SEIXAS, F.. Funcionalidades de um software aplicado ao gerenciamento de desastres - um mapeamento sistemático. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Gabriel Roland Gussen

SEIXAS, F.;CAFEZEIRO, Isabel; COSTA, L. C.. UFFinder. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Gabriel Teixeira Lobo

SEIXAS, F.;CAFEZEIRO, Isabel; COSTA, L. C.. UFFinder. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: João Pedro Alves Rega

CAFEZEIRO, Isabel; COSTA, L. C.; GUERRA, R. P. O.. Uma Estratégia para Auxiliar Investidores Iniciantes na Compra de Ações no Mercado Financeiro. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Erick Rezende Arruzzo

CAFEZEIRO, Isabel; ROCHA, M.; NEVES, V. O.. Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Priscilla Alvares da Costa

CAFEZEIRO, Isabel; COSTA, L. C.; SEVERO, F.; MOCHETTI, K.. Uma Discussão sobre o fracasso do Sistema Acadêmico. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.

Aluno: Josimar dos Santos Junior

Viterbo, Jos?; FORNAZIN, M.;CAFEZEIRO, Isabel. A Formação de Profissionais da Área de TI no Contexto da Inovação Tecnológica. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Maria Julia Ros Amorim Passos

José Viterbo; FORNAZIN, M.;CAFEZEIRO, Isabel. A Formação de Profissionais da Área de TI no Contexto da Inovação Tecnológica. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Jean Nogueira dos Santos Fontes

SALGADO, L.;CAFEZEIRO, Isabel; COSTA, L. C.. Uso da gamificação na educação: estudo do engajamento dos alunos na disciplina de Governança em Tecnologia da Informação. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Larissa Martins dos Santos Blanco

SALGADO, L.; COSTA, L. C.;CAFEZEIRO, Isabel. Uso da gamificação na educação: estudo do engajamento dos alunos na disciplina de Governança em Tecnologia da Informação. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Karen Melissa Pacheco Monteiro

CAFEZEIRO, Isabel; SEVERO, F.;CUKIERMAN, H. L.; José Viterbo. Teste de usabilidade do Libras Office. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Juliana Jalloule

CAFEZEIRO, Isabel; SALGADO, L.; MOCHETTI, K.. Sistemas de Informação e Meio Ambiente. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Eduardo dos Santos Pereira Junior

CAFEZEIRO, Isabel; ROCHA, M.; COSTA, L. C.; MONTEIRO, R. S.. Quero Doar: Estudo e desenvolvimento de plataforma para diminuir distâncias entre doadores e ONGs. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Ana Carolinne Gomes

CAFEZEIRO, Isabel; ROCHA, M.; COSTA, L. C.; MONTEIRO, R. S.. Quero doar: aplicativo para informar sobre locais receptores para doações. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Caio Siqueira de Garcia

CAFEZEIRO, Isabel; COSTA, L. C.;VITERBO, José. Carteirada Inclusiva: Um App de Inclusão Escolar. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Caio Hespanhol Tozatto

CAFEZEIRO, Isabel; COSTA, L. C.;VITERBO, José. UFFinfo: Uma melhor opção de acesso a informações acadêmicas. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Roberto Saeger

GUERRA, R. P. O.;CAFEZEIRO, Isabel; COSTA, L. C.. Pêndulo Invertido Sobre Rodas com FreeRTOS e Arduino. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Hugo César Baur Salgado

KOZOVITS, L. E.; OLIVEIRA, D. C. M.; REED, J.;CAFEZEIRO, Isabel. MONITORAMENTO DE CONSUMO ELÉTRICO EM TEMPO REAL E AUTOMAÇÃO: UM EXEMPLO DE APLICAÇÃO NO CONTEXTO DE INTERNET DAS COISAS. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Marcela Correa Santos Ramos

SALGADO, L.;CAFEZEIRO, IsabelVITERBO, José. SolicitaUFF: Um sistema acadêmico-administrativo web com foco em usabilidade e acessibilidade. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Gabriel Guadalupe Rodríguez

SALGADO, L.;CAFEZEIRO, IsabelVITERBO, José. SolicitaUFF: Um sistema acadêmico-administrativo web com foco em usabilidade e acessibilidade. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Henrique Fontenelle Teixeira

MOCHETTI, K.;CAFEZEIRO, Isabel; MORAES, M. O.. Estudo comparativo do computador clássico e quântico na criação fi el da mente humana pela visão da psicologia. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Wagner de Souza Matheus

CAFEZEIRO, Isabel; COSTA, L. C.;VITERBO, José. Análise de Produto:Sony Playstation VR, um estudo de caso. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Catarina Pereira Ribeiro

COSTA, L. C.;VITERBO, JoséCAFEZEIRO, Isabel. Valeu a Pena?: Um site com experiências conectando concluintes à ingressantes.. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Duerton Ralph Ferreira Costa

COSTA, L. C.;VITERBO, JoséCAFEZEIRO, Isabel. Valeu a Pena?: Um site com experiências conectando concluintes à ingressantes.. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Taiane Manhães

CAFEZEIRO, Isabel; COSTA, L. C.; SALGADO, L.; SEVERO, F.. Ciência da Computação Desplugada. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Bárbara Araújo da Silva Borges

COSTA, L. C.; José Viterbo;CAFEZEIRO, Isabel. Estudo de usabilidade e redesign de interface do sistema SolicitaSI. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Alexandre Servat Sander

COSTA, L. C.;CAFEZEIRO, IsabelVITERBO, José. Cultura inteligente ? um estudo de aplicação de tecnologia smart via beacons. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.

Aluno: Igor Cunha Souza

COSTA, L. C.;CAFEZEIRO, IsabelVITERBO, José. Cultura inteligente ? um estudo de aplicação de tecnologia smart via beacons. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.

Aluno: BEATRIZ RACHEL PORTO

COSTA, L. C.;CAFEZEIRO, I. L.VITERBO, José. Um sistema para apoio da descrição e análise iconográfica. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.

Aluno: Reinaldo Gabriel Mesquita

CAFEZEIRO, Isabel; COSTA, L. C.; MONTEIRO, R. S.. Computação Humana: abordagem dos conceitos através da concepção de um software. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Thayanne Antão Viegas

CAFEZEIRO, Isabel; TOLEDO, R. C. L.; SALGADO, L.. Ciência da Computação e Participação Pública. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Allison Pessanha Quintanilha

CAFEZEIRO, Isabel; JUNIOR, I. C.; COSTA, L. C.; FARIA, L. A. S.. O Uso de Bitcoins coloridas como uma moeda complementar virtual: uma análise de viabilidade. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Tiago Cândido Almeida Santos e Igor Barbosa Pinto

GUERRA, R. P. O.; COSTA, L. C.;CAFEZEIRO, I. L.. INTEGRA UFF - Integração de Sistemas de Gestão de Aprendizado. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: João Eudes Arruda Costa

SALGADO, L.; MONTEIRO, R. S.;CAFEZEIRO, I. L.. Um estudo da governança de ti verde em uma organização pública. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

Aluno: Anna Karoline Ramos Rangel

CAFEZEIRO, I. L.; LOPES, B.; VALENTE, S.. A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Marcelle Silva Guiné

Cafezeiro, IsabelLIMA, Rosângela; MONTEIRO, R. S.. Acessibibiteca: A sua biblioteca virtual temática sobre acessibilidade.. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Guilherme Danilo Montoya e Igor Ferreira Souza

Cafezeiro, IsabelLIMA, Rosângela; MONTEIRO, R. S.. Sensibilização para a criação de uma cultur organizacional voltada para a sustentabilidade. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Gabriel Peixoto Meirinho

Cafezeiro, IsabelLIMA, Rosângela; MONTEIRO, R. S.. O RESGATE DE MERELYN: UM RPG em audiogame como recurso pedagógico. 2014. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Bernardo Ferreira Juncal

Cafezeiro, IsabelLIMA, Rosângela; COSTA, L. C.. SAPT Sistema de apoio técnco. 2014. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Vitor Felipe Mendonça Cordeiro

CAFEZEIRO, IsabelLIMA, Rosângela; COSTA, L. C.. O Sistema Android para Gestão de Informação do Curso de Sistemas de Informação. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Marcos Felipe P

LIMA, RosângelaCAFEZEIRO, I. L.; MONTEIRO, R. S.. Rodrigues.Ferramenta para Auxílio na Comunicação e Aprendizagem de Crianças Autistas. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Raí Gomes Mesquita

BOKEHI, J. R.;CAFEZEIRO, I. L.. InfoSUS: uma aplicação mobile para os usuários do SUS em Niterói usando Apache Cordova?. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Vitor bianchini

LIMA, RosângelaCAFEZEIRO, I. L.; MONTEIRO, R. S.. EcoUFF - tecnologia móvel a serviço do meio ambiente sustentável. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Débora Serpa Jaegge Deccache e Lucas de Castro Alves

LIMA, RosângelaCAFEZEIRO, I. L.; TREVISAN, D.. Computação como Ferramenta para o Desenvolvimento e Inclusão de Pessoas com Necessidades Especiais. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Marcos Felipe Leal e Felipe Albuquerque

LEITAO, H. C. G.;CAFEZEIRO, I. L.LIMA, Rosângela. Modelagem 3D com auxílio de câmeras. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Gabriel da Silva Menezes e João Luis Taveira Rodrigues

LIMA, RosângelaCAFEZEIRO, I. L.; COSTA, L. C.. SGVM? Sistema Gerenciador de Viveiros de Mudas. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Joyce Guedes Sobral

LIMA, RosângelaCAFEZEIRO, I. L.; COELHO, C. L. M.. Aplicação da plataforma Scratch em pessoas com necessidades educativas especiais. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Silvana Barbosa Carvalho

COSTA, L. C.;CAFEZEIRO, I. L.LIMA, Rosângela. Uma aplicação cliente web service para o PUBMED. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.

Aluno: Narriman da Costa Rodrigues Ballock

CAFEZEIRO, I. L.LIMA, Rosângela; LEHMAN, L. M. S. Alfabetização Lúdica: um jogo para auxiliar o professor no processo de letramento. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Diego Antonio Nunes Zahn, Gabriel Loubake Gomes Leandro Inác

CAFEZEIRO, I. L.LIMA, Rosângela; COSTA, L. C.. Organizador Acadêmico UFF - UM APLICATIVO PARA DISPOSITIVO MÓVEL, UTILIZANDO O SISTEMA iOS. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Egilson José Costa Cabral, Fagner Campos Lemos, Vitor Martin

CAFEZEIRO, I. L.LIMA, Rosângela; COSTA, L. C.. A gestão do resíduo eletrônico, uma solução Web. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Antônio Carlos Magalhães e Yuri Kibaltchic

CAFEZEIRO, I. L.LIMA, Rosângela; JUNIOR, I. C.. Estudo para a implantação de um centro de descarte, recilcagem e reuso de computadores. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Rafael Ferreira e Carolina Souza

CAFEZEIRO, I. L.LIMA, Rosângela; JUNIOR, I. C.. Quid, uma nova ferramenta de aprendizagem. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Gabriel Ayres Saraiva, Leandro O

CAFEZEIRO, I. L.; COSTA, L. C.;LIMA, Rosângela. da Silva e Thales Barros.Portal de gerenciamento de conteúdos audiovisuais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Bernardo Botelho Fontes

Cafezeiro, IsabelMARQUES, I. C.; MURTA, L. G. P.. Coding Dojo: novas possibilidades para o ensino da programação. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Gabriel Affonso Baims e João Arthur Beekhuizen Nogueira

GUEDES, L. C. C.; RIBEIRO, C. A. S.;CAFEZEIRO, I. L.. Gerador de Automático de Stubs para web Services em JavaScript. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Lucas Wan-Meyl de Araújo

CAFEZEIRO, I. L.LIMA, Rosângela; GOMES, L.V. B.. Estudos dos Aspectos Envolvidos nas Aplicações de Testes de Usabilidade em Web Sites. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Alex Eije Saito e Bruno Magalhães Rocha

GOMES, L.V. B.;LIMA, RosângelaCAFEZEIRO, I. L.. Estudo e Desenvolvimento de Ferramenta para Construção de sites de congressos, simpósios e seminários. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Diogo Leite Mesquita

Cafezeiro, Isabel; GOMES, L.V. B.;LIMA, Rosângela. Concepção de Metodologia ao Desenvolvimento cognitivo através da programação. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Rafael Ladislaw Alves

LIMA, W. O.; ALVES, R. L.; AGUIAR, T. C.;CAFEZEIRO, I. L.. Programação Orientada a Aspectos. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Rodrigo Gardiolli e André Lanzilotti

Cafezeiro, Isabel. Padrões de Código para o Ensino Básico de Orientação a Objetos usando Java. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Carlos Vinícius de Souza Oliveira

CAFEZEIRO, I. L.; AGUIAR, T. C.; SILVEIRA FILHO, O. T.. Refatoração de Código. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Renato Vieira Guilarducci

Cafezeiro, Isabel. E-Gov: Para quê e para quem?. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Adriano Tinoco d'Oliveira Resende

CAFEZEIRO, I. L.; BRAGA, C.; COBURCCI FILHO, D.. Hidra: Uma nova Linguagem de Programação. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Mário Vivarelli

Cafezeiro, Isabel. Inclusão Digital: Conceituação e Estudo de Casos. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Cynthia Lourdes O

CAFEZEIRO, I. L.; FERRAZ, I.; CONCI, A.. Pereira.Modelagem de Plantas usando L-Systems - Geometria Fractal Simplificando Formas Complexas. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: João Cláudio Oliveira Boltshauser e Roberta Rangel Grego

CAFEZEIRO, I. L.; PEREIRA, R.; THOMÉ, L.. A Orientação a Objetos na Linguagem Java: Um Estudo com Aplicações Práticas. 2001. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Carlos Bazílio Martins e Geiza Maria H

CAFEZEIRO, I. L.HAEUSLER, E. H.; GUEDES, L. C. C.; GARCIA, A. V.. da Silva.Tradução de Estruturas de Controle para Tempo real em Linguagens Orientadas a Objetos (1). 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

Aluno: Fernando N

CAFEZEIRO, I. L.HAEUSLER, E. H.; GUEDES, L. C. C.; GARCIA, A. V.. do Amaral e Patrícia Garcês Rabelo.Tradução de Estruturas de Controle para Tempo real em Linguagens Orientadas a Objetos (2). 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

CAFEZEIRO, Isabel; DAGNINO, R.; EID, F.; SOUZA, A. C. G.; LIMA, F.. Membro da Banca Professor Adjunto Tecnologia para o desenvolvimento social. 2019. Universidade Federal do Rio de Janeiro.

CAFEZEIRO, I. L.; MONTEIRO, R. S.; LIFSCHITZ, S.; WERNECK, V.; OLIVEIRA, J.. Presidente da Banca para Seleção de Professor Adjunto (Sistemas de Informação). 2016. Universidade Federal Fluminense.

Cafezeiro, Isabel; BRAGA, C.; GARCIA, A. V.; IERUSALIMSCHY, R.; MENEZES, P. F. B.. Membro da Banca de seleção de professor adjunto Teoria da Computação. 2014. Universidade Federal Fluminense.

Rodrigues, R. J. S.;CAFEZEIRO, I. L.; Junior, G. G. P.. Membro da Banca de Seleção para Professor Adjunto (Engenharia de Software). 2010. Universidade Estadual do Norte Fluminense Darcy Ribeiro.

Rodrigues, R. J. S.;CAFEZEIRO, I. L.; Junior, G. G. P.. Membro da Banca de Seleção para Professor Adjunto (Redes de Computadores). 2010. Universidade Estadual do Norte Fluminense Darcy Ribeiro.

LIMA, RosângelaCAFEZEIRO, I. L.; BOSCARIOLI, Clodis; TAMIRES, A. R.;MARQUES, I. C.. Membro da Banca de Seleção para Professor Adjunto (Sistemas de Informação). 2010. Universidade Federal Fluminense.

BENEVIDES, M. R. F.; MONTE, L. C. M.; Musicante, M.; SILVA, J. C. P.;CAFEZEIRO, I. L.. Membro da Banca de Seleção para Professor Adjunto (Linguagens de Programação e Compiladores). 2010. Universidade Federal do Rio de Janeiro.

CAFEZEIRO, I. L.; OLIVEIRA, S. L.; BARBOSA, A. C. C.; LOBOSCO, M.; TAMIRES, A. R.. Presidente da Banca para Seleção de Professor Adjunto (Licenciatura em Computação). 2009. Universidade Federal Fluminense.

CAFEZEIRO, I. L.; ZIMBRÃO, G.; Iotio, V. O.. Presidente da Banca de Seleção de Professor Assistente (Linguagens de Programação). 2009. Universidade Federal Fluminense.

CAFEZEIRO, I. L.; GARCIA, A. V.; GUEDES, L. C. C.; MONTE, L. C. M.; CERQUEIRA, R. F. G.. Presidente da Banca para Seleção de Professor Adjunto (Linguagens de Programação e Compiladores). 2006. Universidade Federal Fluminense.

Cafezeiro, Isabel; COSTA, L. C.; THOMÉ, L.. Presidenteda Banca para Seleção de Professor Substituto DTS-TCC n 24 de 14 outubro de 2005 UFF. 2005. Universidade Federal Fluminense.

AGUIAR, T. C.;CAFEZEIRO, I. L.; FERRAZ, I.. Membro da Banca de Seleção para Professor Substituto DTS-TCC n°. 21 de 29/03/2004. 2004. Universidade Federal Fluminense.

SILVEIRA FILHO, O. T.;CAFEZEIRO, I. L.; FERRAZ, I.. Membro da Banca de Seleção de Professor Substituto DTS-TCC n.20 de 27/03/2003 UFF. 2003. Universidade Federal Fluminense.

Cafezeiro, Isabel. Membro da banca de seleção de professor substituto. DTS TCC 21/2002. 2002. Universidade Federal Fluminense.

AGUIAR, T. C.;CAFEZEIRO, I. L.; FERRAZ, I.. Membro da Banca de Seleção de Professor Substituto para disciplinas básicas DTS TCC 19 de 14/02/2001. 2001.

AGUIAR, T. C.;Cafezeiro, Isabel; SILVEIRA FILHO, O. T.. Membro da Banca de Seleção de Professor Substituto TCC UFF DTS TCC n. 26 de 17/08/2001. 2001. Universidade Federal Fluminense.

Cafezeiro, Isabel. Membro da Banca de Seleção para Professor Substituto. 1995. Universidade Federal Fluminense.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do ERSI 2019. 2019. Universidade Federal Fluminense.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do WCSI 2019. 2019. Universidade Federal Fluminense.

CAFEZEIRO, IsabelKUBRUSLY, R.; DANTAS, R.; FROES, M.; BORGES, J. A. S.. Membro da Comissão avaliadora do Scientiarum História XII. 2019. Universidade Federal do Rio de Janeiro.

CAFEZEIRO, Isabel. Membro da Comissão de Avaliação do SBSI 2018. 2018. Universidade de Caxias do Sul.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do WICSI 2018. 2018. Universidade de Caxias do Sul.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do Apps.edu CBIE 2018. 2018. Universidade Federal do Ceará.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do SHIALC 2018. 2018. Universidade Federal do Rio de Janeiro.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do HDRio 2018. 2018. Fundação Getúlio Vargas.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do SBSI 2017. 2017. Sociedade Brasileira de Computação - Porto Alegre.

CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do WICSI 2017. 2017. Sociedade Brasileira de Computação - Porto Alegre.

CAFEZEIRO, Isabel. Membro da Comissão avaliadora de Projetos de Iniciação Científica UFF. 2017. Universidade Federal Fluminense.

CAFEZEIRO, Isabel. Membro da Comissão avaliadora do WEI 2017. 2017. Sociedade Brasileira de Computação - Porto Alegre.

CAFEZEIRO, Isabel. Membro do comitê científico do SBIE. 2017.

CAFEZEIRO, Isabel. Membro da Comissão avaliadora do Congresso Internacional em Humanidades Digitais - HDRio 2018. 2017. Fundação Getúlio Vargas.

CAFEZEIRO, Isabel. Membro do comitê científico do II CCBWIKI, Congresso Científico Brasileiro da Wikipédia e do I IWSC, International Wikipedia Scientific Congress. 2017. Universidade Federal Fluminense.

CAFEZEIRO, Isabel. Membro do Comitê de Programa VALID 2016, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2016. Universidade Federal Fluminense.

Cafezeiro, Isabel. Membro do comitê científico do SBIE. 2016. Universidade Federal de Uberlândia.

Cafezeiro, Isabel. Membro do comitê científico do Scientiarum História IX. 2016. Pós-graduação em História das Ciências e das Técnicas - UFRJ.

Cafezeiro, Isabel. Menbro do comitê científico da ERSI. 2016. Universidade Federal Rural do Rio de Janeiro.

CAFEZEIRO, Isabel. Membro do comitê científico do GRAND SI. 2016. Universidade Federal de Santa Catarina.

CAFEZEIRO, I. L.MARQUES, I. C.; PAIVA, E. N.. Membro da Comissão de Programa do VI ESOCITE.BR TECSOC. 2015. Universidade Federal do Rio de Janeiro.

Cafezeiro, Isabel. Membro do comitê científico do ERSI-RJ 2015. 2015. Universidade Federal do Estado do Rio de Janeiro.

Cafezeiro, Isabel. Membro do Comitê Científico do XXVI SBIE. 2015. Sociedade Brasileira de Computação - Porto Alegre.

CAFEZEIRO, Isabel. Membro do Comitê de Programa VALID 2015, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2015. Universidade Federal Fluminense.

CHAITIN, G.;Cafezeiro, Isabel; CHAITIN, V.; DODIG-CRNKOVIC, G.. Membro da Comissão Científica de Seleção de Trabalhos do Simpoósio ANTI-REDUCTIONIST COMPUTATIONAL METAPHORS IN EVOLUTION, METAMATHEMATICS, COMPUTING AND THE CONTEMPORARY HUMAN SELF-IMAGE (ARCM). 2014. Anatolia College/ACT Thessaloniki.

CAFEZEIRO, I. L.. Membro do comitê científico do ERSI-RJ 2014. 2014. Universidade Federal Fluminense.

CAFEZEIRO, I. L.. Membro da Comissão avaliadora do Scientiarum História VII. 2014. Pós-graduação em História das Ciências e das Técnicas - UFRJ.

CAFEZEIRO, Isabel. Membro do Comitê de Programa VALID 2014, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2014. Universidade Federal Fluminense.

CAFEZEIRO, I. L.. Membro do Comitê de Programa VALID 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2013. UFF.

CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XXI WEI. 2013. Universidade Federal de Alagoas.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do III STED. 2012. Prefeitura Municipal de Araucária.

CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XX WEI. 2012. Universidade Federal Fluminense.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do WOSES. 2012. Universidade Federal Fluminense.

CAFEZEIRO, I. L.. Membro da Comissão de revisores do Information and Communication Technologies and Applications ICTA 2012. 2012. Universidade Federal Fluminense.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do WOSES. 2011. Pontifícia Universidade Católica do Paraná.

CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XIX WEI. 2011. Universidade Federal do Rio Grande do Norte.

CAFEZEIRO, I. L.LIMA, Rosângela; COSTA, L. C.; JUNIOR, I. C.; BOSCARIOLI, Clodis. Membro do Comitê Científico do II ENINED (Encontro Nacional de Informática e Educação). 2011. Universidade Estadual do Oeste do Paraná.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do II STED. 2011. Prefeitura Municipal de Araucária.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do I STED. 2010. Faculdade Educacional Araucária.

Cafezeiro, Isabel. Membro do comitê científico da Semana Nacional de Ciência e tecnologia Portaria n 43.445 de 06 de dezembro de 2010 BS ano XL n. 202 07/12/10 sção II pág 009. 2010.

CAFEZEIRO, Isabel. Membro do Comitê de Programa do XIV SBLP. 2010.

CAFEZEIRO, I. L.. Membro do comitê de Programa do I ENINED. 2009. Universidade Estadual do Oeste do Paraná.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do XIII SBLP. 2009. Universidade Católica de Pelotas.

Cafezeiro, Isabel. Membro do comitê de programa do CLEI 2009. 2009.

Cafezeiro, Isabel. Membro da comissão científica da Agenda Acadêmica da UFF. 2009.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do XII SBLP. 2008. Universidade Federal do Ceará.

Cafezeiro, Isabel. Membro do Comitê de Programa do SEW (32nd Annual IEEE Software Engineering Workshop). 2008.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do LFSA (Workshop on Logical and Semantic Frameworks, with Applications). 2007.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do XI SBLP. 2007. Universidade Federal do Rio Grande do Norte.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do X SBLP (Simpósio Brasileiro de Linguagens de Programação). 2006. Instituto Militar de Engenharia.

CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XIV WEI. 2006. Sociedade Brasileira de Computação.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do IX SBLP. 2005. Universidade de Pernambuco.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do VIII SBLP (Simpósio Brasileiro de Linguagens de Programação). 2004. Universidade Federal Fluminense.

CAFEZEIRO, I. L.. Membro do Comitê de Programa do VI SBLP (Simpósio Brasileiro de Linguagens de Programação). 2002. Pontifícia Universidade Católica do Rio de Janeiro.

CAFEZEIRO, I. L.. Membro da Comissão de Avaliação de Artigos para o V SBLP (Simpósio Brasileiro de Linguagens de Programação). 2001. Universidade Federal do Paraná.

CAFEZEIRO, I. L.. Membro da Comissão de Avaliação de Artigos para o WMF(Workshop de Métodos Formais). 2001. Pontifícia Universidade Católica do Rio de Janeiro.

Cafezeiro, Isabel. Membro da Comissão de Avaliação de Artigos para o WMF(Workshop de Métodos Formais). 2000.

CAFEZEIRO, Isabel. Membro da Comissão avaliadora de artigos para o AMAST (Algebraic Methodology and Software Technology). 1999. Pontifícia Universidade Católica do Rio de Janeiro.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Paulo Augusto Silva Veloso

HAEUSLER, E. H.VELOSO, P. A. S.. Compartilhamento e semântica denotacional. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Sheila Regina Murgel Veloso

HAUSLER, E. H.;VELOSO, P. A. S.VELOSO, S. R. M.; PEREIRA, L. C.. Compartilhamento e Semântica Denotacional. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Seção coletada automaticamente pelo Escavador

Orientou

Thiago de Melo Ferreira

Identidade Gamer Brasileira; Início: 2018; Dissertação (Mestrado profissional em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro; (Orientador);

Mariane Brito

Desenho Geométrico; Início: 2016; Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro; (Orientador);

Beatriz dos Ramos Pinto

Desenho Geométrico e Projetivo no Brasil: aspectos legais, correlações interdisciplinares e apontamentos para o futuro; 2019; Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro,; Orientador: Isabel Leite Cafezeiro;

Fernando César da Silva Nascimento

Ciências, Tecnologias e Educação: uma história em descompasso pelo ponto de vista de um professor do ensino médio público; 2018; Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;

Eduardo Erick Oliveira Pereira

Casa Adaptada a Cadeirantes: Um desafio didático ao ensino a superdotados; 2015; Dissertação (Mestrado em Mestrado Profissionalizante em Diversidade e Inclu) - Universidade Federal Fluminense,; Orientador: Isabel Leite Cafezeiro;

Matheus Santana Siqueira

Esports e o ambiente acadêmico: uma perspectiva sobre o cenário; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Erick Rezende Arruzzo

Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Lucas Dutra Fernandes

Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Leonardo Portugal da Costa

A construção da Lei Geral de Proteção de Dados e seus efeitos para o Pequeno Empresário e para o Cidadão; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

João Pedro Alves Rega

Uma Estratégia para Auxiliar Investidores Iniciantes na Compra de Ações no Mercado Financeiro; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Eduardo dos Santos Pereira Junior

Sistema para cadastramento de ações sociais; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Juliana Jalloule

Sistemas de Informação e Meio Ambiente; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Karen Melissa Pacheco Monteiro

Usabilidade do Libras Office; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Caio Siqueira de Garcia

Aplicativo para divulgar direitos e deveres escolares de deficientes; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Caio Hespanhol Tozatto

Aplicativo para informar alunos da UFF sobre seus direitos e deveres; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Ana Carolinne Gomes

Quero doar: aplicativo para informar sobre locais receptores para doações; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Wagner de Souza Matheus

Análise de Produto:Sony Playstation VR, um estudo de caso; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Priscilla Alvares

Uma discussão sobre o fracasso do sistema acadêmico; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Taiane Manhães

Ciência da Computação Desplugada; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Thayanne Viegas

Processos participativos em Ciências e Tecnologias; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Reinaldo Gabriel Mesquita

Computação Humana: abordagem dos conceitos através da concepção de um software; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Anna Karoline Ramos Rangel

A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;

Bernardo Botelho Fontes

Coding Dojo: Novas Possibilidades Para o Ensino da Programação; 2011; Trabalho de Conclusão de Curso; (Graduação em Graduação em Ciências da Computação) - UFF; Orientador: Isabel Leite Cafezeiro;

Diogo Mesquita

Concepção de metodologia para introduzir no Ensino Fundamental a aprendizagem de uma linguagem de programação; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Rodrigo Gardiolli

Padrões de Código para o Ensino Básico de Orientação a Objetos usando Java; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

André Lanzilotti

Padrões de Código para o Ensino Básico de Orientação a Objetos usando Java; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Renato Vieira Guilarducci

E-Gov: Para quê e para quem?; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Mário Vivarelli

Inclusão Digital: Conceituação e Estudo de Casos; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Allicya Oliveira Augusto da Rocha

Computação em Arte; 2018; Iniciação Científica - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Anna Karoline Ramos Rangel

A voz silenciada de Emil Post; 2016; Iniciação Científica; (Graduando em Graduação em Ciências da Computação) - UFF; Orientador: Isabel Leite Cafezeiro;

Mayara Coelho da Silva Valentim

Crise do software (a controvertida busca pelo software livre de bugs); 2013; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;

Marcelo Zanette Torres

Teoria de Domínios e Operadores de Comparilhamento; 2002; Iniciação Científica; (Graduando em Engenharia) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;

Verônica Saião de Amorim Catão

Teoria de Domínios e Operadores de Comparilhamento; 2002; Iniciação Científica; (Graduando em Engenharia) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;

Perla Coutinho Barbosa

Reconectar; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Henrique do Prado Linhares

MONITORIA: Ferramentas Digitais de apoio ao ensino de Programação utilizando a Linguagem Pascal; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-Reitoria de Graduação; Orientador: Isabel Leite Cafezeiro;

Anderson da Silva Teixeira

ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2014; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Jean Paulo Campos

ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Graduação em Ciências da Computação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Phillip Valim

ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

André Filiphe Souza de Brito

ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Graduação em Ciências da Computação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Felipe Garcia

ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Graduação em Ciências da Computação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Anderson da Silva Teixeira

ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2013; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Wanderson Trindade

EXTENSÃO: O computador de papel; 2013; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Arthur Sanches

ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em informática; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Thaís Jayme dos Santos

MONITORIA: Ferramentas Digitais de apoio ao ensino de Programação utilizando a linguagem Pascal; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-Reitoria de Graduação; Orientador: Isabel Leite Cafezeiro;

Henrique do Prado Linhares

MONITORIA: Ferramentas digitais de apoio ao ensino de programação utilizando a linguagem Pascal; 2013; Orientação de outra natureza - Universidade Federal Fluminense, Pro-Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Aroldo Mascarenhas Neto

MONITORIA: Ferramentas Digitais de apoio ao ensino de Programação utilizando a linguagem Pascal; 2012; Orientação de outra natureza; (Engenharia de Telecomunicações) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Wanderson Trindade

VOLUNTÁRIO: História da Informática no Brasil; 2012; Orientação de outra natureza; (Sistemas de Informação) - UFF; Orientador: Isabel Leite Cafezeiro;

Priscila Coutinho

VOLUNTÁRIO: História da Informática no Brasil; 2012; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Daniel Pinheiro da Silva Junior

ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2012; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Alexandre Abreu

JOVENS TALENTOS: Programas de auxílio ao Ensino da Programação; 2012; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pro-reitoria de pesquisa; Orientador: Isabel Leite Cafezeiro;

Anderson da Silva Teixeira

ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2012; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Diego Fernando Freitas Lima dos Santos

EXTENSÃO: (des)Informática; 2011; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Barbara Borges

VOLUNTARIA: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Yago de Jesus Vitória

PIBIQUINHO: Linguagem de programação como eixo do processo de aprendizagem; 2010; Orientação de outra natureza; (Colégio Universitário Geraldo Reis) - UFF, Pro-reitoria de pesquisa; Orientador: Isabel Leite Cafezeiro;

Joyce Guedes Sobral

PIBIT: Construindo Brincadeiras, Desenvolvendo Programas; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;

Débora de Souza Ribeiro

EXTENSÃO: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Leonardo Freitas

EXTENSÃO: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Thales Gonçalves de Barros

EXTENSÃO: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Leonardo Freitas

EXTENSÃO FINEP: Projeto Incluir - Pré Vestibular Comunitário da UFF; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Thales Gonçalves Barros

EXTENSÃO: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Débora de Souza Ribeiro

EXTENSÃO: Informática no COLUNI; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;

Lays Figueredo Evangelista

EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Maria Gabriela Alcântara

EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Priscila Pereira Gonçalves

EXTENSÃO FINEP: Projeto Incluir - Pré Vestibular Comunitário da UFF; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Priscila Pereira Gonçalves

EXTENSÃO: Projeto Incluir - Pré Vestibular Comunitário da UFF; 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Luiz Laerte Nunes da Silva Junior

EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Pré-Vestibular Comunitário da UFF; 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Mariana de Souza Marinho

EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

WILIAM DE OLIVEIRA

MONITORIA: Linguagens de Programação; 2006; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Leticia Fernandes Bella

MONITORIA: FORTRAN; 2006; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

LUCIANA B

Gonçalves; EXTENSÃO FINEP: Material didático para o projeto Incluir; 2006; Orientação de outra natureza - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Stenio Soares

EXTENSÃO FINEP: Material didático para o Projeto Incluir; 2006; Orientação de outra natureza - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;

Leandro José Costa Gomes

MONITORIA: Linguagens Formais; 2005; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;

Bruno Siqueira

MONITORIA: Desenvolvimento de Aplicações em Linguagens Formais e Autômatos; 2004; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Rafael Cruz

MONITORIA: Banco de Software; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Luis Filipe Mello dos Santos

MONITORIA: Prototipagem de Linguagens imperativas: um estudo de caso; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Leonardo da Silva Abreu

MONITORIA: Apostila de Auxílio à Disciplina Programação de Computadores III; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Carlos Henrique Vidal Junior

MONITORIA: Instrumento de apoio ao ensino da linguagem FORTRAN G 77; 2001; Orientação de outra natureza; (Engenharia) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Naiana Carminatti

MONITORIA: Linguagens Formais; 2001; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Leonardo da Silva Abreu

MONITORIA: Linguagem FORTRAN; 2000; Orientação de outra natureza; (Engenharia) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Daniele Duarte De Souza

MONITORIA: Programação de Computadores; 1997; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;

Eduardo Lopes Farias

MONITORIA: Programação de Computadores; 1997; Orientação de outra natureza - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Eugênio de Oliveira Domingues

MONITORIA: Linguagens de Programação; 1997; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

André Luiz S

P; de Oliveira; MONITORIA: Linguagem Pascal; 1996; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Rômulo T

A; Pinho; MONITORIA: Aspectos formais da Computação I; 1996; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Edward Hermann Haeusler

Um Prototipo Para Simulacao de Processos Em Csp: Um Enfoque Orientado A Objetos; 1994; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Edward Hermann Haeusler;

Edward Hermann Haeusler

Compartilhamento e Semântica Denotacional; 2000; 0 f; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Edward Hermann Haeusler;

Ivan da Costa Marques

2012; Universidade Federal Fluminense,; Ivan da Costa Marques;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • CAFEZEIRO, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. ; COSTA, L. C. . Percursos entrelaçados na configuração do campo acadêmico de Sistemas de Informação no Brasil. REVISTA IBEROAMERICANA DE TECNOLOGIA EN EDUCACIÓN Y EDUCACIÓN EN TECNOLOGÍA (EN LÍNEA) , v. 23, p. e01, 2019.

  • CAFEZEIRO, Isabel ; ROCHA, A. C. ; GADELHA, C. ; KUBRUSLY, R. . Qual é a contribuição do seu trabalho para o desenvolvimento da Ciência e da Tecnologia? (O Mágico e o biscateiro). AVALIAÇÃO: REVISTA DA AVALIAÇÃO DA EDUCAÇÃO SUPERIOR , v. 24, p. 1, 2019.

  • CAFEZEIRO, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. . Paulo Freire and mathematics, for a situated approach of Mathematics. Philosophy of Mathematics Education Journal , v. 34, p. 6, 2018.

  • Cafezeiro, Isabel ; KUBRUSLY, RICARDO ; da Costa Marques, Ivan ; CAFEZEIRO, EDWALDO . Paulo Freire, Mathematics and Policies that Shape Mathematics. Journal of Indian Council of Philosophical Research , v. 3, p. 1, 2017.

  • BRAGA, T. J. ; COSTA, L. C. ; CAFEZEIRO, Isabel . Educação, Sociedade e Formação em Sistemas de Informação. iSys - Revista Brasileira de Sistemas de Informação , v. 10, p. 4, 2017.

  • VIEGAS, THAYANNE ANTÃO ; MARQUES, BRENO DE MIRANDA ; Cafezeiro, Isabel . Um percurso na construção da prática extensionista em computação e seus desdobramentos interdisciplinares. INTERAGIR (UERJ) , v. 23, p. 106-129, 2017.

  • Cafezeiro, Isabel ; COSTA, LEONARDO CRUZ DA ; KUBRUSLY, RICARDO DA SILVA . Ciência da Computação, Ciência da Informação, Sistemas de Informação:uma reflexão sobre o papel da informação e da interdisciplinaridade na configuração das tecnologias e das ciências. Perspectivas em Ciência da Informação (on line) , v. 21, p. 111-133, 2016.

  • Cafezeiro, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. ; VALENTE, S. ; SOUZA, N. L. . Crises e Incompletudes, Multi-histórias Matemáticas. REVEMAT , v. 11, p. 162-177, 2016.

  • Cafezeiro, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas. Scientiarum Historia , v. IX, p. 1-8, 2016.

  • Cafezeiro, Isabel ; DANTAS, R. . Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira. Scientiarum Historia , v. 1, p. 1-8, 2016.

  • CAFEZEIRO, Isabel ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Os Números dos Mundos. REVISTA BRASILEIRA DE HISTÓRIA DA CIÊNCIA , v. 9, p. 97-112, 2016.

  • PESSANHA, J. A. ; PEREIRA, E. E. O. ; Cafezeiro, Isabel ; CASTRO, H. C. ; DELOU, C. M. C. ; ALMEIDA, L. S. . Issues of Attending High Skills/Giftedness Students: discussion of an important topic. Advances in education , v. 4, p. 1-7, 2015.

  • Cafezeiro, Isabel ; GADELHA, C. ; CHAITIN, V. . O trágico e a cena contemporânea: por um encontro artístico-matemático. COLETÂNEA (RIO DE JANEIRO) , v. 28, p. 278-294, 2015.

  • Cafezeiro, Isabel ; SILVA, M. P. S. L. S. ; REZNIK, G. ; GRALHA, D. ; VALENTE, S. ; GORINI, K. ; Gadelha, Carmem ; CAFEZEIRO, EDWALDO ; DALMEIDA, C. ; JONATHAN, M. ; GOMES, E. L. ; NASCIMENTO, F. C. ; RICHE, C. A. ; CHAGAS, P. ; FILHO, A. ; SILVA, O. ; FEIO, P. ; ALFREDO, M. F. N. ; FERREIRA, D. ; PAIVA, E. N. ; SANTOS, D. M. ; KUBRUSLY, RICARDO ; ROCHA, A. C. ; LEAL, V. . Que teus olhos sejam atendidos!. Scientiarum Historia , v. 1, p. 1-8, 2015.

  • CAFEZEIRO, I. L. ; RADEMAKER, A. ; VITERBO, José ; HEAUSLER, E. H. ; Endler, M. . Specifying ubiquitous systems through the algebra of contextualized ontologies. KNOWLEDGE ENGINEERING REVIEW (ONLINE) , v. 29, p. 171-185, 2014.

  • CAFEZEIRO, Isabel ; GADELHA, C. ; CHAITIN, V. ; MARQUES, I. C. . A Knowledge-Construction Perspective on Human Computing, Collaborative Behaviour and New Trends in System Interactions. Lecture Notes in Computer Science , v. 8510, p. 58, 2014.

  • Cafezeiro, Isabel . Desenvolvimentos tecnológicos e autonomias: traduções acadêmicas dos anos 70 e dos dias atuais. Scientiarum Historia , v. 1, p. 1, 2013.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Meio homem, meio máquina: o computador e os híbridos. Scientiarum Historia , v. 1, p. 1, 2013.

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Por que são 'a certeza matemática' e 'a evidência da demonstração' frases comuns para expressar o mais alto grau de segurança alcançável pela razão?. TEMPO BRASILEIRO , v. 189, p. 67-86, 2012.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Sobre o trabalho das/os matemáticas/os. Scientiarum Historia , v. 1, p. 1-8, 2012.

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Interweavings of Alan Turing's Mathematics and Sociology of Knowledge. JOURNAL OF MATHEMATICS AND SYSTEM SCIENCE , v. 2, p. 420-429, 2012.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Da corte suprema, a matemática, à matemática nos tribunais. Scientiarum Historia , v. IV, p. 162, 2011.

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; CUKIERMAN, H. L. ; MARQUES, I. C. . Recontando a Computabilidade. REVISTA BRASILEIRA DE HISTÓRIA DA CIÊNCIA , v. 3, p. 231-251, 2010.

  • CAFEZEIRO, I. L. ; LIMA, Rosângela ; TOLEDO, R. C. L. . Estendendo extensões:a computação como agente integrador | Extending extensions: computing as an integrating agent. LIINC EM REVISTA , v. 5, p. 66-81, 2009.

  • Cafezeiro, Isabel ; HAEUSLER, E. H. . Programming language syntax: expressing sharing. Monografias em Ciência da Computação , v. 1999, p. 9, 1999.

  • Cafezeiro, Isabel ; HAEUSLER, E. H. ; HAEBERER, A. . From diagram to code via attribute grammar. Monografias em Ciência da Computação , v. 1997, p. 03, 1997.

  • Cafezeiro, Isabel ; HAEUSLER, E. H. ; LUCENA, C. J. P. . Paradigmas de linguagens de programação: uma abordagem geométrica. Monografias em Ciência da Computação , v. 1996, p. 21, 1996.

  • Cafezeiro, Isabel ; COSTA, LEONARDO CRUZ DA ; KUBRUSLY, RICARDO . MODOS CONTEMPORÂNEOS DE APRENDIZADO E CONSTRUÇÃO DO CONHECIMENTO: REFLEXÕES SOBRE O ENSINO DE TEORIA DA COMPUTAÇÃO PARA SISTEMAS DE INFORMAÇÃO. Princípios e aplicações da computação no brasil. 1ed.: Antonella Carvalho de Oliveira, 2019, v. , p. 110-122.

  • SEVERO, F. ; CUKIERMAN, H. L. ; CAFEZEIRO, Isabel ; MARQUES, I. C. ; PRIMO, R. . "Somos"="Temos". In: Daniela Alves e Maíra Baungarten. (Org.). Conhecimentos e Sociedade: Teorias, políticas e controvérsias. 1ed.Brasília: Editora Verbena, 2019, v. , p. 135-154.

  • CAFEZEIRO, Isabel ; COSTA, L. C. ; KUBRUSLY, R. ; MARQUES, I. C. . Categorização de Saberes e Configuração do Campo da Computação. In: Alberto Jorge Silva de Lima, Ana Lúcia Faria da Costa Rodrigues, André Vinícius Leal Sobral, Lucas de Almeida Pereira, Marcelo Vianna. (Org.). Trajetórias da Informática na América Latina e Caribe: Autonomias, (In)dependências e muitas outras histórias. Ved.Rio de Janeiro, Rio de Janeiro: NCE, 2018, v. V, p. 193-210.

  • CAFEZEIRO, Isabel ; COSTA, L. C. ; ROCHA, M. ; MONTEIRO, R. S. ; VITERBO, José ; SALGADO, L. . Strengthening of the Sociotechnical Approach in Information Systems Research. In: Boscarioli, C.; Araujo, R. M.; Maciel, R. S. P.. (Org.). I GranDSI-BR ? Grand Research Challenges in Information Systems in Brazil 2016-2026. 1ed.: , 2017, v. , p. 133-147.

  • Cafezeiro, Isabel ; MARQUES, I. C. ; CHAITIN, V. ; CHAITIN, G. . Matemáticas. In: ARAÚJO, J. F. M. D.; VALENTE, C. D. M.. (Org.). Ator-Rede e além ... no Brasil - As teorias que gorjeiam não gorjeiam como lá? ISBN: 9788578792039. 1ed.Campina Grande: Editora da Universidade Estadual da Paraíba, 2014, v. 1, p. 310-321.

  • CAFEZEIRO, I. L. ; PAIVA, E. N. ; MARQUES, I. C. ; JONATHAN, M. ; OLIVER, G. S. . Currículos Universitários. In: ARAÚJO, J. F. M. D.; VALENTE, C. D. M.. (Org.). Ator-Rede e além ... no Brasil - As teorias que gorjeiam não gorjeiam como lá? ISBN: 9788578792039. 1ed.Campina Grande: Editora da Universidade Estadual da Paraíba, 2014, v. 1, p. 159-198.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Localizando a matemática. Contribuições à sociolgia do conhecimento a partir da análise de. In: Sérgio Nobre, Luis Saraiva, Fábio Bertato. (Org.). Livro de Acta/Anais do 6º Encontro Luso-Brasileiro de História da Matemática ISBN: 9788589097673. 1ed.Natal: Revista da Sociedade Brasileira de História da Matemática, 2014, v. , p. 847-868.

  • CAFEZEIRO, Isabel ; MARQUES, I. C. . When 'Pure Mathematical Objectivity' is no Longer Enough.. In: Alimohammad, A., Dine, P. ISBN: 9781612082332. (Org.). Fourth International Conference on Advances in System Testing and Validation Lifecycle 2012 (VALID 2012). 1ed.: International Academy, Research and Industry Association, 2012, v. , p. 63-67.

  • Lima, Rosângela Lopes ; Cafezeiro, Isabel ; Gomes, Luiz Valter Brand . Information Systems: New Demands, New Proposals. Advances in Intelligent and Soft Computing. 1ed.ISBN: 978-3-642-24-771-2: Springer Berlin Heidelberg, 2011, v. , p. 265-272.

  • LIMA, Rosângela ; GOMES, L.V. B. ; CAFEZEIRO, Isabel . The Technological Mediation as a Strategy to Innovate the Teacher - Student Interaction. In: L. Gómez Chova; D. Martí Belenguer; I. Candel Torres. (Org.). International Conference of Education, Research and Innovation. 1ed.ISBN: 9788461424399 Madri: International Association of Technology, Education and Development, 2010, v. 1, p. 3935-5942.

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Algebraic Framework for Reverse Engineering on Specifications. In: Germano Lambert-Torres; Jair Minoro Abe; João Inácio da Silva Filho; Helga Gonzaga Martins. (Org.). Frontiers in Artificial Intelligence and Applications - Selected Papers from the Sixth Congress on Logic Applied to Technology ISBN: 9781586039363. 1ed.Amsterdam: IOS Press, 2009, v. 186, p. 1-12.

  • Cafezeiro, Isabel ; Viterbo, Jos? ; Rademaker, Alexandre ; Haeusler, Edward Hermann ; Endler, Markus . A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. Communications in Computer and Information Science. 1ed.ISBN: 9783540884781: Springer Berlin Heidelberg, 2008, v. , p. 519-533.

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Categorical Limits and Reuse of Algebraic Specifications. In: Jair M. Abe; João I. da Silva Filho. (Org.). Advances in Logic, Artificial Intelligence and Robotics ISBN: 1586032925. 1ed.Amsterdam: IOS Press, 2002, v. 85, p. 216-233.

  • CAMPOS, J. P. ; Cafezeiro, Isabel ; LIMA, Rosângela . Programa Interagir de Capacitação em Informática. Libre Office Magazine, Rio de Janeiro, Rio de Janeiro, p. 109 - 103, 01 jun. 2014.

  • MANHAES, T. ; CAFEZEIRO, Isabel ; SEVERO, F. . Computação Desplugada e 'Educada'. In: VII ESOCITE.BR/Tecsoc, 2017, Brasília. Anais do VII Simpósio Nacional de Ciência, Tecnologia e Sociedade. Brasília: FINATEC - UNB, 2017.

  • CAFEZEIRO, Isabel ; COSTA, L. C. ; KUBRUSLY, R. . Modos contemporâneos de aprendizado e construção do conhecimento: reflexões sobre o ensino de Teoria da Computação para Sistemas de Informação. In: WEI - Workshop em Educação em Informática, 2016, Porto Alegre. Anais do XXXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre: PUCRS, 2016. p. 2245-2254.

  • CAFEZEIRO, Isabel ; GADELHA, C. ; ROCHA, A. C. ; KUBRUSLY, R. . Arremates em pesponto. Alinhavos sobre matemática e matemáticos. In: XII Encontro Nacional de Educação Matemática, 2016, São Paulo. Anais do XII Encontro Nacional de Educação Matemática. São Paulo: SBEM, 2016.

  • CAMARA, J. M. I. ; CAFEZEIRO, Isabel ; KUBRUSLY, R. ; GADELHA, C. ; CAFEZEIRO, E. M. . Em fuxicos se fazem ciência e arte. In: 15 Simpósio Nacional de História das Ciências e das Técnicas, 2016, Florianópolis. Anais do 15 Simpósio Nacional de História das Ciências e das Técnicas. Rio de Janeiro, Rio de Janeiro: Sociedade Brasileira de História das Ciências, 2016.

  • CAFEZEIRO, I. L. ; KUBRUSLY, R. . Traduções, desvios, problematizações, transgressões e desdisciplinaridades. In: 14o Seminário Nacional de História das Ciências e da Tecnologia, 2014, Belo Horizonte. Anais do 14o Seminário Nacional de História das Ciências e da Tecnologia, 2014.

  • CAMPOS, J. P. ; CAFEZEIRO, I. L. ; LIMA, Rosângela . Projeto Interagir de Capacitação em Informática: Construção de saberes sobre o uso das Tecnologias de Informação e Comunicação no âmbito das graduações da UFF. In: Escola Regional de Sistemas de Informação RJ, 2014, Niteroi. Anais da Escola Regional de Sistemas de Informação RJ, 2014.

  • CAFEZEIRO, Isabel ; DANTAS, R. ; PAIVA, E. N. ; OLIVEIRA, J. C. ; OLIVEIRA, B. ; JONATHAN, M. . Brazilian computers? Definitely, a strange idea!. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Proceedings of the 13th International Public Communication of Science and Technology Conference, 2014. v. 13. p. 1-11.

  • PEREIRA, E. E. O. ; CAFEZEIRO, Isabel ; DELOU, C. M. C. . Educational robotics and inclusion of gifted students: a challenge in school routine. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Proceedings of the 13th International Public Communication of Science and Technology Conference, 2014. v. 1. p. 115-126.

  • CAFEZEIRO, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. . Mathematics, Mathematical Practice and Communication of Mathematics (Show, tell and talk). In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Proceedings of the 13th International Public Communication of Science and Technology Conference, 2014. v. 1. p. 1-25.

  • PEREIRA, E. E. O. ; CAFEZEIRO, I. L. . Casa adaptada a cadeirantes: um desafio didático para o ensino a superdotados. In: II Encontro Nacional de Popularização da Ciência, Tecnologia e Inovação, 2013, Niterói. Anais do II Encontro Nacional de Popularização da Ciência, Tecnologia e Inovação, 2013. p. 87-94.

  • CAFEZEIRO, Isabel ; MARQUES, I. C. . A crise do software e a configuração da área da computação como ciência exata ou intedisciplinar. In: Ator-rede e Além no Brasil, 2013, Rio de Janeiro, Rio de Janeiro. Ator-rede e Além no Brasil. João Pessoa: EDEPB - Editora da Universidade Estadual da Paraíba, 2013.

  • CAFEZEIRO, Isabel ; MARQUES, I. C. . Matemática, Abstrações e Prática Matemática. In: Ator-rede e Além no Brasil, 2013, Rio de Janeiro, Rio de Janeiro. Ator-rede e Além no Brasil. João Pessoa: EDUEPB - Editora da Universidade Estadual da Paraíba, 2013.

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizando a matemática: o infinito e seus vínculos. In: 13º Seminário Nacional de História da Ciência e da Tecnologia, 2012, São Paulo. Anais do 13º Seminário Nacional de História da Ciência e da Tecnologia. São Paulo, 2012. p. 1357-1366.

  • CAFEZEIRO, Isabel ; LIMA, Rosângela . New Technologies, New Settings of old Habits. In: 2nd International Conference on Social Sciences and Society, 2012. Proceedings of 2012 2nd International Conference on Social Sciences and Society(ICSSS 2012), 2012. v. 6. p. 44.

  • CAFEZEIRO, I. L. ; LIMA, Rosângela ; GOMES, L.V. B. . Graduação em Sistemas de Informação. Um novo perfil de profissional para o atendimento a demandas da sociedade contemporânea. In: 8th CONTECSI International Conference on Information Systems, 2011, São Paulo. 8th CONTECSI International Conference on Information Systems andTechnology Management, 2011.

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Alan Turing, lápis, papel e a calculabilidade:uma etnografia do conhecimento matemático. In: XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011, São Paulo. Anais do XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011.

  • CAFEZEIRO, I. L. ; MENDES, P. S. P. ; RICAS, L. D. ; CARDOSO, M. . Desenvolvimento, Tecnológia e Inovação. In: XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011, São Paulo. Anais do XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011.

  • CAFEZEIRO, I. L. ; LIMA, Rosângela ; REED, J. . Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas. In: Foro Iberoamericano de Comunicación y Divulgación Científica, 2009, Campinas. Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas, 2009.

  • Cafezeiro, Isabel ; VITERBO, José ; Rademaker, Alexandre ; Haeusler, Edward Hermann ; Endler, Markus . Designing ubiquitous applications. In: the 6th international workshop, 2009, Barcelona. Proceedings of the 6th international workshop on Managing ubiquitous communications and services - MUCS '09. p. 17.

  • CAFEZEIRO, I. L. ; VITERBO, José ; RADEMAKER, A. ; HAEUSLER, E. H. ; Endler, M. . ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua. In: Seminário de Pesquisa em Ontologia no Brasil, 2008, Niterói. Seminário de Pesquisa em Ontologia no Brasil, 2008.

  • CAFEZEIRO, I. L. ; TOLEDO, R. C. L. ; ALCÂNTARA, Maria Gabriela C.N ; MARINHO, M. S. ; CAMARGO, Priscila ; EVANGELISTA, Lays Figueredo . Extensão Universitária em áreas tecnológicas: entre propostas e práticas. In: 11o Seminário nacional de História da Ciência e da Tecnologia, 2008, Niterói. 11o Seminário nacional de História da Ciência e da Tecnologia, 2008.

  • Cafezeiro, Isabel ; Haeusler, Edward Hermann ; Rademaker, Alexandre . Ontology and Context. In: 2008 IEEE International Conference on Pervasive Computing and Communications (PerCom), 2008, Hong Kong. 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), 2008. p. 417.

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Semantics Interoperability via Category Theory. In: ER 2007, 2007, Auckland. Proc. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007. Auckland, 2007. v. 83. p. 197-202.

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Computabilidade: História e Matemática. In: Escola Regional de Computação de Minas Gerais, 2007, Lavras. Primeiro Congresso de Ciências da Computação e Sistemas de Informação, 2007.

  • CAFEZEIRO, I. L. ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. In: 3º Congresso Internacional de Gestão de Tecnologia e Sistemas de Informação, 2006, São Paulo. Anais do 3 CONTECSI - International Conference on Information Systems and Technology Management, 2006.

  • CAFEZEIRO, I. L. . Educação, Informática e Responsabilidade Social: A contribuição da Universidade Pública. In: Simpósio Brasileiro de Informática na Educação, 2006, Brasilia. Anais do SBIE 2006, 2006.

  • CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Sharing and Denotational Semantics. In: II Workshop in Formal Methods, 2000, João Pessoa. Simpósio Brasileiro de Engenharia de Software e Simpósio Brasileiro de Banco de Dados (2000) -Workshop de Métodos Formais. João Pessoa: Sociedade Brasileira de Computação, 2000. p. 145-156.

  • CAFEZEIRO, I. L. ; HEAUSLER, E. H. ; HAEBERER, A. . From Diagrams to Code Via Attribute Grammars. In: SBLP (II Simpósio Brasileiro de Linguagens de Programação), 1997, Campinas. II Simpósio Brasileiro de Linguagens de Programação. Campinas: Universidade Estadual de Campinas, 1997. p. 165-178.

  • CAFEZEIRO, I. L. ; HEAUSLER, E. H. ; LUCENA, C. J. P. . Paradigmas de Linguagens de Programação: uma abordagem geométrica.. In: SBLP (I Simpósio Brasileiro de Linguagens de Programação), 1996, Belo Horizonte. I Simpósio Brasileiro de Linguagens de Programação. Belo Horizonte: Universidade Federal de Minas Gerais, 1996. p. 265-276.

  • CAFEZEIRO, I. L. . Protótipo para especificação de Processos baseado em CSP. In: XIV Congresso da SBC, 1994, Caxambu. Anais do XIV Congresso da SBC, 1994. p. 365-377.

  • CAFEZEIRO, Isabel ; COSTA, L. C. ; MARQUES, I. C. ; KUBRUSLY, R. . Percursos entrelaçados na configuração de campos de saberes em computação. In: SHIALC - Simpósio de História da Informática na America Latina e no Caribe, 2018, Rio de Janeiro, Rio de Janeiro. Caderno de Resumos do SHIALC, 2018. p. 12.

  • Cafezeiro, Isabel ; KUBRUSLY, R. . Em fuxicos se fazem ciência e arte. In: 15o Seminário Nacional de História das Ciências e das Técnologias, 2016, Florianópolis. Caderno de Resumos do 15o Seminário Nacional de História das Ciências e das Técnologias, 2016. p. 67-68.

  • CAFEZEIRO, I. L. ; KUBRUSLY, R. . Paulo Freire and mathematics: For a situated approach for mathematics. In: Cultures of Mathematics IV, 2015, Nova Delhi. Cultures of Mathematics IV, 2015.

  • Cafezeiro, Isabel ; PAIVA, E. N. ; JONATHAN, M. . A configuração dos currículos universitários no Brasil na área de computação. In: Primer Encuentro de la Red Chilena de Ciencia, Tecnología y Sociedad, 2014, Santiago. Libro de resúmenes - Primer Encuentro de la Red Chilena de Ciencia, Tecnología y Sociedad. Santiago: Universidad Alberto Hurtado, 2014. p. 15-15.

  • PEREIRA, E. E. O. ; Cafezeiro, Isabel ; DELOU, C. M. C. . Educational robotics and inclusion of gifted students: A challenge in school routine. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Summary 13th International Public Communication of Science and Technology Conference, 2014. p. 112-113.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Mathematics, Mathematical Practice and Communication of Mathematics. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Summary 13th International Public Communication of Science and Technology Conference, 2014. p. 131-132.

  • Cafezeiro, Isabel ; PAIVA, E. N. ; DANTAS, R. ; JONATHAN, M. ; OLIVEIRA, B. . Brazilian computers? Definitely a strange idea!. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Summary 13th International Public Communication of Science and Technology Conference, 2014. p. 89.

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Interweavings of Alan Turing?s Mathematics and Sociology of Knowledge. In: CiE - Computability in Europe. Turing Centenary Conference, 2012, Cambridge. CiE Abstracts, 2012.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Localizando a Matemática: o infinito e seus rastros. In: 13o Seminario Nacional de História das Ciências e das Técnicas, 2012, São Paulo. Anais do 13o Seminario Nacional de História das Ciências e das Técnicas. São Paulo, 2012. p. 146-146.

  • RICAS, L. D. ; CARDOSO, M. ; MENDES, P. S. P. ; LIMA, Rosângela ; Cafezeiro, Isabel . Maria do Socorro fazendo Arteciências. In: Scientiarum História IV, 2011, Rio de Janeiro. Livro de Resumos do Scientiarum História IV. Rio de Janeiro, Rio de Janeiro: UFRJ, 2011. v. 1. p. 118-118.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Da corte suprema, a matemática, à matemática nos tribunais. In: Scientiarum História IV, 2011, Rio de Janeiro, Rio de Janeiro. Anais do Scientiarum História IV. Rio de Janeiro, Rio de Janeiro: UFRJ, 2011. v. 1. p. 88-88.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas. In: Scientiarum História IX, 2016, Rio de Janeiro, Rio de Janeiro. Caderno de Resumos do Scientiarum História XI, 2016. v. 1. p. 42.

  • CAFEZEIRO, I. L. ; DANTAS, R. . Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira. In: Scientiarum História IX, 2016, Rio de Janeiro, Rio de Janeiro. Caderno de Resumos do Scientiarum História XI, 2016. v. 1. p. 47.

  • Cafezeiro, Isabel ; DALMEIDA, C. ; RICHE, C. A. ; PAIVA, E. N. ; ALFREDO, M. F. N. ; SILVA, M. P. S. L. S. . Que teus olhos sejam atendidos!. In: Scientiarum História VIII, 2015, Rio de Janeiro. Caderno de Resumos do Scientiarum História VIII. Rio de Janeiro, Rio de Janeiro: UFRJ, 2015. v. 1.

  • PEREIRA, E. E. O. ; CAFEZEIRO, I. L. ; DELOU, C. M. C. . Ensino a alunos superdotados: A mediação por meio da robótica educativa. In: Congresso Internacional Aneis 2013 Superdotação: Desafios do ensino-aprendizagem em diferentes contextos, 2013, Porto. Congresso Internacional Aneis 2013 Superdotação: Desafios do ensino-aprendizagem em diferentes contextos, 2013.

  • Cafezeiro, Isabel ; MARQUES, I. C. . Localizing Math. In: http://www.fgv.br/emap/logonto-2011/program.html, 2011, Rio de Janeiro, Rio de Janeiro. Logics and Ontologies for Portuguese, 2011.

  • EVANGELISTA, Lays Figueredo ; ALCÂNTARA, Maria Gabriela C.N ; MARINHO, M. ; CAMARGO, P. ; TOLEDO, R. C. L. ; CAFEZEIRO, I. L. . Extensão Universitária sob enfoque sociotécnico. In: 11o Seminário Nacional de História da Ciência e da Tecnologia, 2008, Niterói. Anais do 11o Seminário Nacional de História da Ciência e da Tecnologia, 2011. v. 1. p. 150.

  • Cafezeiro, Isabel ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. In: Universidade, Sociedade e Produção de Conhecimento: Conexão de Saberes, 2006, Niterói. Universidade, Sociedade e Produção de Conhecimento: Conexão de Saberes. Resumo dos Trabalhos, 2006.

  • CAFEZEIRO, Isabel . Paradoxos da computação. 2019. (Apresentação de Trabalho/Conferência ou palestra).

  • CAFEZEIRO, Isabel . ?Isto é uma questão de técnica? é uma afirmação política. 2018. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. ; COSTA, L. C. . Percursos entrelaçados na configuração de campos de saberes em computação. 2018. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel . Matemáticas, Computação e a cena Contemporânea. 2017. (Apresentação de Trabalho/Conferência ou palestra).

  • CAFEZEIRO, Isabel . Trabalho alienado e diversão na internet. 2017. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel . Avaliação do trabalho docente. 2017. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel . Qualis Capes. 2017. (Apresentação de Trabalho/Comunicação).

  • MANHAES, T. ; CAFEZEIRO, Isabel ; SEVERO, F. . Computação Desplugada e 'Educada'. 2017. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, Isabel . A matemática e a criação do mundo. 2017. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, Isabel ; KUBRUSLY, R. . Os Números dos Mundos - Seminário do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, Isabel ; COSTA, L. C. ; KUBRUSLY, R. . Modos contemporâneos de aprendizado e construção do conhecimento: reflexões sobre o ensino de Teoria da Computação para Sistemas de Informação - WEI - Workshop de Educação em Informática. 2016. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel ; GADELHA, C. ; KUBRUSLY, R. ; ROCHA, A. C. . Arremates em pesponto. Alinhavos sobre matemática e matemáticos - XII Encontro Nacional de Educação Matemática. 2016. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel ; KUBRUSLY, R. . Fuxico em Matemática - Seminários do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).

  • CAMARA, J. M. I. ; CAFEZEIRO, Isabel ; KUBRUSLY, R. ; GADELHA, C. ; CAFEZEIRO, E. M. . Em fuxicos se fazem ciência e arte XV Simpósio Nacional de História das Ciências e das Técnicas. 2016. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas -Scientiarum História IX UFRJ. 2016. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel ; DANTAS, R. . Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira - Scientiarum História IX UFRJ. 2016. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, I. L. ; GADELHA, C. ; KUBRUSLY, R. ; ROCHA, A. C. . O Mágico e o Biscateiro - Seminário do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, I. L. ; SANTOS, D. M. . Conjuntura Nacional em cheque Seminário do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, Isabel ; COSTA, L. C. ; SALGADO, L. ; MONTEIRO, R. S. ; VITERBO, José ; ROCHA, M. . Efetivação da Abordagem Sociotécnica. 2016. (Apresentação de Trabalho/Simpósio).

  • CAFEZEIRO, I. L. ; KUBRUSLY, R. . Paulo Freire and mathematics: For a situated approach for mathematics - CoM IV: Cultures of Mathematics. 2015. (Apresentação de Trabalho/Conferência ou palestra).

  • Cafezeiro, Isabel ; KUBRUSLY, R. ; LEAL, V. ; VALENTE, S. ; PAIVA, E. N. . menos b mais ou menos raiz quadrada de b dois menos 4ac sobre dois a? Isso é loucura! Absolutamente insano! Esocite - Congresso da Associação Brasileira de Estudos Sociais das Ciências e das Tecnologias. 2015. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel . O público e o privado na Universidade Pública - Esocite - Congresso da Associação Brasileira de Estudos Sociais das Ciências e das Tecnologias. 2015. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel ; PAIVA, E. N. ; ALFREDO, M. F. N. ; SILVA, M. P. S. L. S. ; RICHE, C. A. . Que teus olhos sejam atendidos - Scientiarum História VII UFRJ. 2015. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel ; GADELHA, C. . Ciência, Arte e Democracia - Programa de Pós-Graduação em Medicina - Cardiologia ICES - UFRJ. 2015. (Apresentação de Trabalho/Conferência ou palestra).

  • Cafezeiro, Isabel ; GADELHA, C. ; CHAITIN, V. ; MARQUES, I. C. . A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions 16th International Conference on Human-Computer Interaction. 2014. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel . Collaborativity as an Anti-Reductionist Computational Metaphor - Anual Conference of the International Association for Computing and Philosophy. 2014. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. . Mathematics, Mathematical Practice and Communication of Mathematics 13th International Public Communication of Science and Technology Conference. 2014. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel . A Compreensão da matemática - Colóquios do IME UERJ. 2014. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, I. L. ; KUBRUSLY, R. . Traduções, desvios, problematizações, transgressões e desdisciplinaridades 14º Seminário Nacional de História da Ciência e da Tecnologia. 2014. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel . Brazilian Computers? Definitely, a strange idea!. 2014. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Meio homem, meio máquina: o computador e os híbridos Scientiarum História VI UFRJ. 2013. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. . Desenvolvimentos tecnológicos e autonomias: traduções acadêmicas dos anos 70 e dos dias atuais - Scientiarum História VI UFRJ. 2013. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. ; PAIVA, E. N. ; JONATHAN, M. ; OLIVER, G. S. . A crise do software e a configuração da área de computação como ciência exata ou interdisciplinar Encontro anual sobre Teoria Ator-rede: Ator rede e Além ... no Brasil. 2013. (Apresentação de Trabalho/Comunicação).

  • Cafezeiro, Isabel ; LIMA, Rosângela . Mediação Tecnológica no Processo de Aprendizagem - Seminários do CMPDI UFF. 2013. (Apresentação de Trabalho/Seminário).

  • Cafezeiro, Isabel ; LIMA, Rosângela . Educação e Tecnologias (Relatos de Ações em Diversidade e Inclusão) Seminários do CMPDI UFF. 2013. (Apresentação de Trabalho/Seminário).

  • Cafezeiro, Isabel ; MARQUES, I. C. . Matemática, abstrações e a prática matemática - Encontro Anual de pesquisa em Teoria Ator-rede - AtorRede e além ... no Brasil. 2013. (Apresentação de Trabalho/Comunicação).

  • PEREIRA, E. E. O. ; Cafezeiro, Isabel ; DELOU, C. M. C. . Ensino a Alunos Superdotados: A mediação por meio da Robótica Educativa - Congresso Internacional Aneis: Associação Nacional para o Estudo e Intervenção na Sobredotação. 2013. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, Isabel ; MARQUES JUNIOR, A. P. ; SERPA, A. ; ANDRADE, L. A. B . Inclusão Digital: Verso e Reverso - Abertura da Semana Municipal de Inclusão Digital. 2013. (Apresentação de Trabalho/Conferência ou palestra).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Sobre o trabalho das/os matemáticas/os - Scientiarum História V UFRJ. 2012. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizando a matemática: o infinito e seus vínculos - 13º Seminário Nacional de História da Ciência e da Tecnologia. 2012. (Apresentação de Trabalho/Congresso).

  • Cafezeiro, Isabel ; MARQUES, I. C. . Interweavings of Alan Turing s Mathematics and Sociology of Knowledge - CiE - Computability in Europe -Turing Centenary. 2012. (Apresentação de Trabalho/Congresso).

  • Cafezeiro, Isabel . Relato de trabalho em Homenagem aos 50 anos de Edward Hermann Haeusler PUC-Rio. 2012. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Alan Turing, lápis, papel e a calculabilidade: uma etnografia do conhecimento matemático - XXVI Simpósio Nacional de História. 2011. (Apresentação de Trabalho/Simpósio).

  • CAFEZEIRO, I. L. ; SOCORRO, M. ; MENDES, P. S. P. ; CARDOSO, M. ; Dias, L. R. . Desenvolvimento Tecnológico e Inovação - XXVI Simpósio Nacional de História. 2011. (Apresentação de Trabalho/Simpósio).

  • CAFEZEIRO, I. L. . Projeto (des)informática - Seminário de Extensão Diálogos PROEX-UFF. 2011. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizando a matemática:contribuições à sociologia da matemática a partir da análise de ?On computable numbers with an application to the entscheidungproblem? 6 Encontro Luso-Brasileiro de História da Matemática. 2011. (Apresentação de Trabalho/Conferência ou palestra).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Da corte suprema, a matemática, à matemática nos tribunais - Scientiarum Historia IV UFRJ. 2011. (Apresentação de Trabalho/Simpósio).

  • CAFEZEIRO, I. L. ; MENDES, P. S. P. ; CARDOSO, M. ; Dias, L. R. . Maria do Socorro fazendo ciênciasartes - Scientiarum Historia IV:. 2011. (Apresentação de Trabalho/Simpósio).

  • CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizing Math - Logics and Ontologies for Portuguese - Fundação Getúlio Vargas. 2011. (Apresentação de Trabalho/Seminário).

  • Cafezeiro, Isabel ; MARQUES, I. C. . Localizando a matemática Contribuições à sociologia do conhecimento a partir da análise de ?On computable numbers with an application to the entscheidungproblem? Ciências e Humanidades - Palácio Rio Negro Petrópolis. 2011. (Apresentação de Trabalho/Conferência ou palestra).

  • Cafezeiro, Isabel ; GOMES, L.V. B. ; LIMA, Rosângela . The Technological Mediation as a strategy to Innovate the teacher-student interation - International Conference of Education, Research and Innovation. 2010. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, I. L. ; LIMA, Rosângela ; REED, J. . Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas - Foro Iberoamericano de Comunicação e Divulgação Científica. 2009. (Apresentação de Trabalho/Simpósio).

  • CAFEZEIRO, I. L. ; VITERBO, José ; RADEMAKER, A. ; Endler, M. ; HAEUSLER, E. H. . ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua - Seminário de Pesquisa em Ontologia no Brasil UFF. 2008. (Apresentação de Trabalho/Outra).

  • CAFEZEIRO, I. L. ; CAMARGO, Priscila ; TOLEDO, R. C. L. ; ALCÂNTARA, Maria Gabriela C.N ; MARINHO, M. S. . Extensão Universitária em áreas tecnológicas: entre propostas e práticas - 11o Seminário Nacional de História da Ciência e da tecnologia. 2008. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, Isabel . Computabilidade: Um pouco de História, um pouco de Matemática - Escola Regional de Informática do Centro-Oeste ERICO 2008. 2008. (Apresentação de Trabalho/Conferência ou palestra).

  • CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Algebraic Framework for Reverse Engineering on Specifications - LAPTEC ( The SixthCongress of Logic Applied to Technology). 2007. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, I. L. ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social - 3 CONTECSI - International Conference on Information Systems and Technology Management. 2006. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, Isabel ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social - Seminário Universidade, Sociedade e Produção de Conhecimento - PROEX. 2006. (Apresentação de Trabalho/Comunicação).

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Sharing and Denotational Semantics - II Workshop in Formal Methods,. 2002. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Limites Categóricos e Especificações Algébricas - Semana de Matemática UFF. 2002. (Apresentação de Trabalho/Seminário).

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Categorical Limits and Reuse of Algebraic Specifications - The third Congress of Logic Applied to Technology. 2002. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. ; HAEUSLER, E. H. . From Diagrams to Code Via Attribute Grammars - II Simpósio Brasileiro de Linguagens de Programação. 1997. (Apresentação de Trabalho/Congresso).

  • Cafezeiro, Isabel ; HAEUSLER, E. H. ; LUCENA, C. J. P. . Paradigmas de Linguagens de Programação: uma abordagem geométrica.- I Simpósio Brasileiro de Linguagens de Programação. 1996. (Apresentação de Trabalho/Congresso).

  • CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Protótipo para Especificação de Processos baseado em CSP - XIV Congresso da SBC. 1994. (Apresentação de Trabalho/Congresso).

  • Cafezeiro, Isabel ; LOPES, F. . Editorial da Edição especial Abordagem sociotécnica da iSys (Revista de Sistemas de Informação). Rio de Janeiro: UniRio, 2017 (Editorial do periódico iSys (Revista de Sistemas de Informação)).

  • CAFEZEIRO, Isabel . Interdisciplinaridade, Computação e Desenvolvimento local 2017 (Memorial para ingresso na classe E (Professor Titular)).

  • CAFEZEIRO, Isabel ; PAIVA, E. N. ; MARQUES, I. C. . Texto de agradecimentos do evento Ator-rede e Além no Brasil, 2013. (Prefácio, Pósfacio/Apresentação)>.

  • CAFEZEIRO, Isabel . Parecer técnico para publicação na contracapa do livro Linguagens de Programação - Conceitos e Técnicas. Rio de Janeiro, Rio de Janeiro, 2004. (Prefácio, Pósfacio/Apresentação)>.

  • CAFEZEIRO, I. L. . Compartilhamento e Semântica Denotacional. Rio de Janeiro: PUC - Rj, 2000 (Tese de Doutorado).

  • CAFEZEIRO, I. L. . Prootótipo para Especificação de Processos baseado em CSP. Rio de Janeiro: PUC-Rj, 1994 (Tese de Mestrado).

  • Cafezeiro, Isabel . Uma Linguagem para Processar ATN - Projeto e Semântica Denotacional 1992 (Trabalho de Final de Curso de Graduação).

Seção coletada automaticamente pelo Escavador

Outras produções

CAFEZEIRO, Isabel . Comissão de Avaliação de Ações extensionistas para edital de Bolsas PROEX UFF. 2018. 2018.

CAFEZEIRO, Isabel . Comissão de Avaliação de projetos PIBIC UFF. 2018. 2018.

CAFEZEIRO, Isabel ; GUERRA, R. P. O. ; COSTA, L. C. . Comissão de Revalidação de diploma de graduação Sistemas de Informação DTS CGI, Nº. 01 de 29 de Março de 2017 UFF. 2017.

CAFEZEIRO, Isabel . Membro Titular do Colegiado do Curso de Sistemas de Informação DTS-TCC no 16 de 23/05/2016 - UFF. 2017.

CAFEZEIRO, Isabel . Membro da Comissão avaliadora de Projetos de Iniciação Científica UFF. 2017.

CAFEZEIRO, Isabel ; BOKEHI, J. R. ; MONTEIRO, R. S. . Comissão de Especialização e Extensão TCC UFF DTS TCC, N. 02 de 17 de março de 2017. UFF. 2017.

Cafezeiro, Isabel . Conselho de representantes da Associação Nacional de Estudos de Ciência Tecnologia e Sociedade. 2016.

Cafezeiro, Isabel . Membro Titular do Colegiado do Curso de Sistemas de Informação DTS-TCC no 16 de 23/05/2016 - UFF. 2016.

Cafezeiro, Isabel ; EXEL, S. ; LOUREIRO, J. O. P. . Comissão de Avaliação de Teses e Dissertações do HCTE/UFRJ para concurso da Sociedade Brasileira de História da Ciência. 2016.

Cafezeiro, Isabel ; EXEL, S. ; LOUREIRO, J. O. P. . Comissão de Avalição para indicação do prêmio CAPES de teses HCTE. 2016.

Cafezeiro, Isabel . Comissão de Avaliação de Ações extensionistas para edital de Bolsas PROEX UFF. 2016.

Cafezeiro, Isabel . Comissão de seleção para ingresso no mestrado e doutorado HCTE. 2016.

Cafezeiro, Isabel ; COSTA, L. C. ; VITERBO, José . Comissão de Revalidação de diploma de graduação Sistemas de Informação DTS CGI, Nº. 01 de 12 de Janeiro de 2015 UFF. 2015.

Cafezeiro, Isabel . Comissão de seleção para ingresso no mestrado e doutorado HCTE. 2015.

VITERBO, José ; Cafezeiro, Isabel ; SALGADO, L. ; JUNIOR, I. C. ; MONTEIRO, R. S. ; ALMEIDA, C. H. M. ; GUERRA, R. P. O. ; OLIVEIRA, D. C. M. . Núcleo Docente Estruturante do Curso de Bacharelado em Sistemas de Informação DTS CGI n.3 de 26 de maio de 2015 UFF. 2015.

Cafezeiro, Isabel ; COSTA, L. C. ; MONTEIRO, R. S. . Comissão de Avaliação de Atividades Complementares do Curso de Sistemas de Informação UFF DTS CGI, N.º 01 de 02 de Dezembro de 2014. 2014.

Cafezeiro, Isabel ; José Viterbo ; SALGADO, L. ; MONTEIRO, R. S. ; ALMEIDA, C. H. M. . Núcleo Docente Estruturante do Curso de Sistemas de Informação da UFF DTS CGI n 2 de 03 de dezembro de 2014 UFF. 2014.

Cafezeiro, Isabel ; COSTA, L. C. ; GUERRA, R. P. O. . Presidente Banca monitoria Programação de Computadores DTS TCC n 1 de 06/02/2014 UFF. 2014.

Cafezeiro, Isabel ; TOLEDO, R. C. L. ; MONTEIRO, R. S. ; LIMA, Rosângela . Comissão de Especialização e Extensão TCC UFF DTS TCC, N. 06 de 25 de julho de 2013. UFF. 2013.

Cafezeiro, Isabel ; COSTA, L. C. ; LIMA, Rosângela . Comissão de Avaliação de Atividades Complementares do Curso de Sistemas de Informação UFF DTS CGI n.03 de 27 de novembro de 2013. 2013.

Cafezeiro, Isabel . Comissão de seleção para ingresso no mestrado CMPDI UFF DTS EGB n 5 de 19 de junho de 2013. 2013.

Cafezeiro, Isabel ; JUNIOR, I. C. ; COSTA, L. C. . Presidente Banca Monitoria Programação DTS TCC n. 1 de 27 de março de 2013 UFF. 2013.

Cafezeiro, Isabel ; MONTEIRO, R. S. ; NASCIMENTO, A. P. ; JUNIOR, I. C. ; ALMEIDA, C. H. M. . Núcleo Docente Estruturante do Curso de Sistemas de Informação da UFF DTS CGI, No. 02 de 27 de fevereiro de 2013 UFF. 2013.

Cafezeiro, Isabel ; BRAGA, C. O. ; MURTA, L. G. P. ; LIMA, Rosângela . Comissão de Especialização e Extensão TCC UFF DTS TCC, N. 07 de 18 de setembro de 2012. UFF. 2012.

Cafezeiro, Isabel . Vice coordenador do curso de Sistemas de Informação UFF PORTARIA N.º 46.255 de 23 de janeiro de 2012. UFF. 2012.

Cafezeiro, Isabel ; LIMA, Rosângela ; COSTA, L. C. . Comissão de revalidação do diploma de graduação - Sistemas de Informação UFF DTS CGI, Nº. 01 de 27 de setembro de 2012UFF. 2012.

SPINOLA, A. I. ; Cafezeiro, Isabel ; MACHADO-PINHEIRO, W. . Comissão para avaliação de progressão funcional para adjunto DTS RFM/ICT/PURO Nº. 10 de 22 de novembro de 2012 UFF. 2012.

COBURCCI FILHO, D. ; Cafezeiro, Isabel ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOUVEA, R. S. ; CLUA, E. W. G. . Projeto de monitoria para Programação de Computadores I BS UFF 01/ 02/2012 pag 78 UFF. 2012.

Cafezeiro, Isabel ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOMES, L.V. B. ; RAMOS, M. A. M. S. ; GOUVEA, R. S. ; TOGUE, Y. . Projeto de monitoria para Programação de Computadores III BS UFF 01/ 02/2012 pag 76 UFF. 2012.

Cafezeiro, Isabel ; COBURCCI FILHO, D. ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOUVEA, R. S. ; CLUA, E. W. G. . Projeto concurso de monitoria Programação de computadores I BS UFF 25/03/2011 pag 21. 2011.

Cafezeiro, Isabel ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOMES, L.V. B. ; RAMOS, M. A. M. S. ; GOUVEA, R. S. ; TOGUE, Y. . Projeto concurso de monitoria Programação de computadores III BS UFF 25/03/2011 pag 19. 2011.

Cafezeiro, Isabel ; LEITE, J. C. B. ; MURTA, L. G. P. ; LIMA, Rosângela . Comissão de Especialização e Extensão TCC UFF DTS/TCC n°. 04 de 30/08/2010 UFF. 2010.

Cafezeiro, Isabel ; LIMA, Rosângela . Comissão de elaboração no projeto pedagógico do curso de Licenciatura em computação de Pádua UFF DTS TIC 11 de 20 de setembro de 2010 UFF. 2010.

Cafezeiro, Isabel ; TREVISAN, D. . Comissão para organização da Semana Nacional de Ciência e Tecnologia no Instituto de Computação UFF DTS TIC n 12 de 20 de setembro de 2010 UFF. 2010.

Cafezeiro, Isabel . Vice coordenador do curso de Sistemas de Informação UFF 2010 - 2012 Portaria n 42.462 de 08 de junho de 2010 UFF. 2010.

Cafezeiro, Isabel . Membro titular do Colegiado de Curso de Sistemas de Informação Memorando TCC 0XX/2010 de 27 de maio de 2010 UFF. 2010.

Cafezeiro, Isabel . Membro Titular do Colegiado do Instituto de Computação Decisão n0 97/10 BS UFF n215 pag 112 em 28/12/2010. 2010.

Cafezeiro, Isabel ; LIMA, Rosângela ; CLUA, E. W. G. ; MURTA, L. G. P ; KISCHINHEVSKY, M. . Comissão para implantação e elaboração do projeto pedagógico para o curso de Sistemas de Informação DTS TIC 01 de 12 de janeiro de 2009 UFF. 2009.

Cafezeiro, Isabel . Representante do Instituto de Computação na Agenda Acadêmica UFF Portaria n 40939 de 25 de setembro de 2009 UFF. 2009.

CAFEZEIRO, Isabel . Comissão para revisão de critérios de avaliação do desempenho docente DTS TCC n. 18 de 07 de agosto de 2009. 2009.

Cafezeiro, Isabel ; MARTINS, S. L. ; LIMA, Rosângela . Comissão para levantamento dos cursos de graduação em computação IC-UFF DTS TIC n 05 de 2 de Julho de 2008 UFF. 2008.

GOUVEA, R. S. ; MONTENEGRO, A. A. ; Cafezeiro, Isabel . Banca de Seleção de Monitores Programação de Computadores DTS TCC n 1 de 29/02/2008. 2008.

Cafezeiro, Isabel . Comissão de Extensão PROEX-UFF DTS PROEX n 26 de 29 de agosto de 2007. 2007.

COBURCCI FILHO, D. ; Cafezeiro, Isabel ; REED, J. ; BOKEHI, J. R. ; COSTA, L. C. ; THOMÉ, L. ; RAMOS, M. A. M. S. ; GOUVEA, R. S. ; TOGUE, Y. . Projeto de monitoria para Programação de Computadores 1 BS UFF de 30/05/2007 pag 9 UFF. 2007.

Cafezeiro, Isabel ; CARVALHO, A. P. ; GOUVEA, R. S. . Comissão para revisão de correção de prova em resposta a recurso discente Memorando TCC 001/2006. 2006.

Cafezeiro, Isabel . Membro Titular do Colegiado do Instituto de Computação IC UFF DTS CTC Nº 012, de 21 de junho de 2006.. 2006.

GUEDES, L. C. C. ; Cafezeiro, Isabel ; COSTA, L. C. . Banca de monitoria para Compiladores DTS TCC N° 10 de 16 de março de 2006 UFF. 2006.

Cafezeiro, Isabel ; GUEDES, L. C. C. ; CARVALHO, A. P. . Presidente da Banca de monitoria para Linguegens de Programação DTS TCC N° 17 de 16 de março de 2006 UFF. 2006.

GUEDES, L. C. C. ; Cafezeiro, Isabel ; KISCHINHEVSKY, M. . Banca de monitoria para Linguegens Formais e Teoria da Computação TCC N° 12 de 16 de março de 2006 UFF. 2006.

Cafezeiro, Isabel . Comissão de ensino TCC IC UFF DTS TCC n27 de 27 de abril de 2004. 2006.

Cafezeiro, Isabel ; SILVA, O. ; GARCIA, A. C. B. . Comissão eleitoral para escolha de Coordenador e vice para o curso de Ciência da Computação UFF DTS TIC Nº 05 de 23 de dezembro de 2005. 2005.

BRAGA, C. O. ; Cafezeiro, Isabel ; COSTA, L. C. . Banca de monitoria para Compiladores DTS TCC N° 12 de 17 de março de 2005 UFF. 2005.

Cafezeiro, Isabel ; BRAGA, C. O. ; KISCHINHEVSKY, M. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS TCC N° 14 de 17 de março de 2005 UFF. 2005.

Cafezeiro, Isabel . Membro Titular do colegiado do Curso de Turismo 2004-2008 UFF Memorando TCC 197/2004. 2004.

Cafezeiro, Isabel ; GOUVEA, R. S. ; REBELLO, E. F. V. . Comissão de ensino TCC IC UFF DTS TCC n27 de 27 de abril de 2004. 2004.

BRAGA, C. ; Cafezeiro, Isabel ; KISCHINHEVSKY, M. . Banca de Seleção de Monitores Linguagens de Programação DTS TCC n 14 de 16/01/2004 UFF. 2004.

Cafezeiro, Isabel ; BRAGA, C. ; KISCHINHEVSKY, M. . Presidente da Banca de Seleção de Monitores Linguagens Formais e Teoria da Computação DTS TCC n 15 de 16/01/2004 UFF. 2004.

Cafezeiro, Isabel ; BRAGA, C. ; COSTA, L. C. . Presidente da Banca de Seleção de Monitores Compiladores DTS TCC n 12 de 16/01/2004 UFF. 2004.

Cafezeiro, Isabel . Comissão de Especialização e Extensão TCC UFF DTS TCC n 22 de 15 de agosto de 2003. UFF. 2003.

MONTE, L. C. M. ; BRAGA, C. ; Cafezeiro, Isabel . Banca de monitoria para Compiladores DTS-TCC n° °. 12 de 20/01/2003 UFF. 2003.

BRAGA, C. O. ; Cafezeiro, Isabel ; MONTE, L. C. M. . Banca de monitoria para Linguegens de Programação DTS-TCC n°.16 de 20/01/2003 UFF. 2003.

Cafezeiro, Isabel ; BRAGA, C. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS TCC n.17 de 20 de janeiro de 2003 UFF. 2003.

Cafezeiro, Isabel . Comissão científica da VII Semana de Monitoria UFF. 2003.

Cafezeiro, Isabel ; REED, J. ; BOTELHO, L. C. . Comissão de avaliação de trabalhos da V Semana de Monitoria 1a etapa Memorando n3/2002 Acessor de monitoria CTC UFF. 2002.

Cafezeiro, Isabel ; REED, J. ; BOTELHO, L. C. . Comissão de avaliação de trabalhos da V Semana de Monitoria 2a etapa Memorando n9/2002 Acessor de monitoria CTC. 2002.

MONTE, L. C. M. ; GUEDES, L. C. C. ; Cafezeiro, Isabel . Banca de monitoria para Compiladores DTS-TCC n°. 13 de 04/03/2002 UFF. 2002.

PEREIRA, R. ; MONTE, L. C. M. ; Cafezeiro, Isabel . Banca de monitoria para Linguegens de Programação DTS-TCC n°.17 de 04/03/2002 UFF. 2002.

Cafezeiro, Isabel ; CARVALHO, A. P. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS-TCC n°. 18 de 04/03/2002 UFF. 2002.

Cafezeiro, Isabel . Comissão de avaliação de trabalhos da Semana de Monitoria etapa final Memorando n.15/2002 do assessor de monitoria do CTC. 2002.

Cafezeiro, Isabel . Membro titular do colegiado do Básico da Engenharia Memorando TCC 176/2000. 2002.

Cafezeiro, Isabel . Coordenação da disciplina prog III DTS TCC 21 de 23 de março de 2001 UFF. 2001.

REED, J. ; Cafezeiro, Isabel ; BOTELHO, L. C. . Comissão de avaliação de trabalhos da Semana de Monitoria Memorando TCC 234/2001. 2001.

Cafezeiro, Isabel . Banca de Seleção de monitores Programação de computadores III DTS TCC n 03 de 08/01/2001. 2001.

Cafezeiro, Isabel . Banca de seleção de monitores para Compiladores DTS TCC n 12 de 08/01/2001. 2001.

Cafezeiro, Isabel . Banca de seleção de monitores para Linguagens de programação DTS TCC n 16 de 08/01/2001. 2001.

Cafezeiro, Isabel . Membro titular do colegiado do Básico da Engenharia Memorando TCC 176/2000. 2000.

Cafezeiro, Isabel . Comissão para aquisição de material didático DTS-TCC 24 de 10 de julho de 2000 UFF. 2000.

Cafezeiro, Isabel ; CARVALHO, A. P. ; GUEDES, L. C. C. . Presidente da Banca de Seleção de Monitores Linguagens Formais e Teoria da Computação DTS TCC n 18 de 13/03/2000 UFF. 2000.

GUEDES, L. C. C. ; Cafezeiro, Isabel ; PEREIRA, R. . Banca de Seleção de Monitores Linguagens de Programação DTS TCC n 17 de 13/03/2000 UFF. 2000.

GUEDES, L. C. C. ; Cafezeiro, Isabel ; MONTES, L. C. M. . Banca de Seleção de Monitores Compiladores DTS TCC n 13 de 13/03/2000 UFF. 2000.

FERRAZ, I. ; COBURCCI FILHO, D. ; Cafezeiro, Isabel . Banca de monitoria para Inteligência Artificial DTS GCC n.16 de 10 de março de 1999 UFF. 1999.

MONTE, L. C. M. ; Cafezeiro, Isabel ; GOUVEA, R. S. . Banca de monitoria para Linguegens de Programação DTS GCC n.18 de 10 de março de 1999 UFF. 1999.

Cafezeiro, Isabel ; CARVALHO, A. P. ; GUEDES, L. C. C. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS GCC n.19 de 10 de março de 1999 UFF. 1999.

Cafezeiro, Isabel ; GUEDES, L. C. C. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Compiladores DTS GCC n.15 de 10 de março de 1999 UFF. 1999.

Cafezeiro, Isabel ; CARVALHO, A. P. ; GUEDES, L. C. C. . Presidente da Banca de monitoria para Aspectos Formais da Computação 1 DTS GCC n.16 de 4 de novembro de 1996 UFF. 1996.

Cafezeiro, Isabel ; GUEDES, L. C. C. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Compiladores DTS GCC n.22 de 4 de novembro de 1996 UFF. 1996.

MONTE, L. C. M. ; Cafezeiro, Isabel ; AGUIAR, T. C. . Banca de monitoria para Programação de Computadores I DTS GCC n.13 de 4 de novembro de 1996 UFF. 1996.

Cafezeiro, Isabel . Organização e cadastro dos Projetos de Aplicação desde o início do Curso de Graduação até 1995. 1995.

Cafezeiro, Isabel . Membro da Comissão de Reformulação do Currículum do Curso de Graduação. 1995.

Cafezeiro, Isabel . Membro Titular do Colegiado do Curso de Arquivologia. 1994.

CAFEZEIRO, I. L. ; LIMA, Rosângela . Projeto Pedagógico do Programa Interagir de Capacitação em Informática. 2013.

CAFEZEIRO, I. L. . Projeto Pedagógico do Curso de Mestrado Profissional Proinove (Educação e Tecnologias). 2010.

CAFEZEIRO, I. L. ; LIMA, Rosângela ; MURTA, L. G. P ; KISCHINHEVSKY, M. ; CLUA, E. W. G. . Projeto Pedagógico do Curso de Bacharelado em Sistemas de Informação. 2009.

CAFEZEIRO, I. L. . Curso de Programação Orientada a Objetos - Material didático de livre circulação na internet para o ensino de POO. 2005.

CAFEZEIRO, I. L. . Curso de Linguagens de Programação - Material didático de livre circulação na internet para o ensino de Linguagens de Programação. 2005.

CAFEZEIRO, I. L. . Curso de Compiladores Material didático de livre circulação (Cadastro na PROGRAD e Parecer técnico do Departamento). 2005.

CAFEZEIRO, I. L. . Curso de Algoritmos - Material didático de livre circulação (Licença Creative Commons). 2004.

CAFEZEIRO, Isabel . Relatório Anual Docente. 2017.

Cafezeiro, Isabel . Relatório Anual Docente. 2016.

Cafezeiro, Isabel . Relatório Anual Docente. 2015.

Cafezeiro, Isabel . Relatório Anual Docente. 2014.

Cafezeiro, Isabel . Relatório Anual Docente. 2013.

Cafezeiro, Isabel . Relatório Anual Docente. 2012.

Cafezeiro, Isabel . Relatório Anual Docente. 2011.

Cafezeiro, Isabel . Relatório Anual Docente. 2010.

Cafezeiro, Isabel . Relatório Anual Docente. 2009.

Cafezeiro, Isabel . Relatório Anual Docente. 2008.

Cafezeiro, Isabel . Relatório Anual Docente. 2007.

Cafezeiro, Isabel . Relatório Anual Docente. 2006.

Cafezeiro, Isabel . Relatório Anual Docente. 2005.

Cafezeiro, Isabel . Relatório Anual Docente. 2004.

Cafezeiro, Isabel . Relatório Anual Docente. 2003.

Cafezeiro, Isabel . Relatório Anual Docente. 2002.

Cafezeiro, Isabel . Relatório Anual Docente. 2001.

Cafezeiro, Isabel . Relatório Anual Docente. 2000.

Cafezeiro, Isabel . Relatório Anual Docente. 1999.

Cafezeiro, Isabel . Relatório Anual Docente. 1998.

Cafezeiro, Isabel . Relatório Semestral Docente - primeiro semestre. 1997.

CAFEZEIRO, Isabel . Relatório Semestral Docente - segundo semestre. 1997.

Cafezeiro, Isabel . Relatório Semestral Docente - primeiro semestre. 1996.

CAFEZEIRO, Isabel . Relatório Semestral Docente - segundo semestre. 1996.

Cafezeiro, Isabel . Relatório Anual Docente - primeiro semestre. 1995.

CAFEZEIRO, Isabel . Relatório Semestral Docente - segundo semestre. 1995.

Cafezeiro, Isabel . Relatório Anual Docente - segundo semestre. 1994.

CAFEZEIRO, Isabel ; PAES, A. ; SAADE, D. C. M. ; BRAVO, R. . Mulheres na Pesquisa Científica no Instituto de Computação. 2019. (Programa de rádio ou TV/Mesa redonda).

CAFEZEIRO, Isabel ; MARQUES, I. C. ; CUKIERMAN, H. L. ; SEVERO, F. . Somos = Temos. 2017. (Programa de rádio ou TV/Mesa redonda).

CAFEZEIRO, Isabel ; SEVERO, F. ; PIMENTA, R. M. ; SILVA, S. D. ; CAVALCANTI, M. T. . Big Data e os Contextos de Responsabilização. 2017. (Programa de rádio ou TV/Mesa redonda).

CAFEZEIRO, I. L. ; GARCIA, S. . Entrevista sobre Alan Turing 'Gênio, Gay, Herói e Suicida' pela Revista Época, coluna Mente Aberta. 2015. (Programa de rádio ou TV/Entrevista).

CAFEZEIRO, I. L. ; MARQUES JUNIOR, A. P. ; SERPA, A. ; ANDRADE, L. A. B . Inclusão Digital: Verso e Reverso - Mesa Redonda em evento promovido pela Prefeitura de Niterói para a Semana Municipal de Inclusão Digital. 2013. (Programa de rádio ou TV/Mesa redonda).

CAFEZEIRO, I. L. ; SIMÕES, M. . Entrevista sobre Alan Turing na Revista Cálculo Matemática Para Todos. 2012. (Programa de rádio ou TV/Entrevista).

Cafezeiro, Isabel . Admirável mundo novo (matéria sobre o projeto Incluir veiculada pelo Jornal O Fluminense). 2009. (Programa de rádio ou TV/Entrevista).

CAFEZEIRO, I. L. ; CARNEIRO, W. . Fios e Desafios da Inclusão Digital - Mesa Redonda em evento promovido pela Prefeitura de Niterói para a Semana Municipal de Inclusão Digital. 2008. (Programa de rádio ou TV/Mesa redonda).

CAFEZEIRO, I. L. ; CARNEIRO, W. . Experiências e Desafios da Inclusão Digital - Mesa Redonda em evento promovido pela Prefeitura de Niterói para a Semana Municipal de Inclusão Digital. 2007. (Programa de rádio ou TV/Mesa redonda).

Cafezeiro, Isabel ; BARROS, T. G. . UFF: Curso vai evitar defasagem na faculdade. Pré-Universitário inclui Informática Jornal do Brasil 15/08/2006 Entrevista. 2006. (Programa de rádio ou TV/Entrevista).

Cafezeiro, Isabel . Inclusão social via inclusão digital Revista A Rede 01/11/2005 Comentário. 2005. (Programa de rádio ou TV/Comentário).

CAFEZEIRO, Isabel ; SANTOS, D. M. . Aglomerados 2019 - ESOCITE/TECSOC. 2019; Tema: aGLOMERADOS 2019. (Site).

CAFEZEIRO, Isabel ; SANTOS, D. M. . Aglomerados 2017 - ESOCITE/TECSOC. 2017; Tema: divulgação de evento. (Site).

CAFEZEIRO, Isabel ; SANTOS, D. M. . Aglomerados 2015 - ESOCITE/TECSOC. 2015; Tema: Divulgação de evento. (Site).

CAFEZEIRO, I. L. ; LIMA, Rosângela ; FERREIRA, M. Rafael . Ensinando e aprendendo no mundo das Tecnologias. 2009; Tema: Uso das Tecnologias de Informação e Comunicação. (Site).

CAFEZEIRO, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2019. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

CAFEZEIRO, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2018. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

Cafezeiro, Isabel ; LOPES, F. . Edição Especial da Revista ISYS: Abordagem sociotécnica em Sistemas de Informação. 2017. (Editoração/Periódico).

Cafezeiro, Isabel ; SALGADO, L. ; José Viterbo ; COSTA, L. C. ; ROCHA, M. ; MONTEIRO, R. S. . Grandes Desafios para a Pesquisa em Sistemas de Informação: Abordagem Sociotécnica SBC -Comissão Especial em Sistemas de Informação. 2017. (Relatório de pesquisa).

Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2017. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

Cafezeiro, Isabel ; GADELHA, C. ; ROCHA, A. C. . O Trágico e a Cena Contemporânea HCTE/UFRJ 60hrs. 2016. (Curso de curta duração ministrado/Outra).

Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2016. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

CAFEZEIRO, I. L. ; Gadelha, Carmem . O Trágico e a Cena Contemporânea HCTE-UFRJ 60 hrs. 2015. (Curso de curta duração ministrado/Outra).

CAFEZEIRO, I. L. ; KUBRUSLY, R. ; PAIVA, E. N. . Matemáticas HCTE/UFRJ 60hrs. 2015. (Curso de curta duração ministrado/Outra).

Cafezeiro, Isabel ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Ciências e Literatura HCTE/UFRJ 60 hrs. 2015. (Curso de curta duração ministrado/Outra).

Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2015. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

Cafezeiro, Isabel . Professor Permanente Pós Graduação CMPDI-UFF. 2015. (Professor Permanente Pós Graduação CMPDI-UFF).

CAFEZEIRO, I. L. ; Gadelha, Carmem ; CHAITIN, V. . O Trágico e a Cena Contemporânea HCTE-UFRJ e PPGAC-UFRJ 60 hrs. 2014. (Curso de curta duração ministrado/Outra).

Cafezeiro, Isabel ; LIMA, Rosângela . Fundamentos das Tecnologias da Informação e da Comunicação CMPDI-UFF 30 hrs. 2014. (Curso de curta duração ministrado/Outra).

Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2014. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

Cafezeiro, Isabel . Professor Permanente Pós Graduação CMPDI-UFF. 2014. (Professor Permanente Pós Graduação CMPDI-UFF).

Cafezeiro, Isabel ; LIMA, Rosângela . Oficina Comput@rte (SNCT 2013) 7 horas. 2013. (Curso de curta duração ministrado/Extensão).

Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2013. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

Cafezeiro, Isabel . Professor Permanente Pós Graduação CMPDI-UFF. 2013. (Professor Permanente Pós Graduação CMPDI-UFF).

Cafezeiro, Isabel . Interweavings of Alan Turing?s mathematics and sociology of knowledge - Essays dedicated to Edward Hermann Haeusler on the occasion of his 50th birthday. 2012. (Relatório de pesquisa).

Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2012. (Professor colaborador externo Pós Graduação HCTE-UFRJ).

CAFEZEIRO, I. L. ; LIMA, Rosângela ; JUNCAL, B. . Oficina Comput@rte (Oficina Informal) 8 horas. 2011. (Curso de curta duração ministrado/Extensão).

CAFEZEIRO, I. L. ; JUNCAL, B. ; LIMA, Rosângela . Meta oficina Comput@rte (II ENINED) 4 horas. 2011. (Curso de curta duração ministrado/Outra).

CAFEZEIRO, I. L. ; JUNCAL, B. ; LIMA, Rosângela . Oficina Comput@rte (SNCT 2011) (8 horas). 2011. (Curso de curta duração ministrado/Extensão).

CAFEZEIRO, I. L. ; SOBRAL, J. G. . Programação para crianças(des)Informática (SNCT 2010) 8 horas. 2010. (Curso de curta duração ministrado/Extensão).

Cafezeiro, Isabel ; LIMA, Rosângela . Socorro ao meio ambiente (SNCT 2010) 5 horas. 2010. (Curso de curta duração ministrado/Extensão).

CAFEZEIRO, I. L. ; RIBEIRO, D. S. . Programação para crianças usando LOGO (SNCT 2010) (2 horas + 2 Horas). 2010. (Curso de curta duração ministrado/Extensão).

CAFEZEIRO, I. L. . Parecer técnico "Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia". 2010. (Parecer de Visita Técnica de Avaliação de Projeto de Pesquisa).

CAFEZEIRO, I. L. . Parecer técnico "Ponto via Internet - Tecnologia da Informação". 2010. (Parecer de Visita Técnica de Avaliação de Projeto de Desenvolvimento em Tecnologia).

LIMA, Rosângela ; CAFEZEIRO, I. L. ; FERREIRA, M. Rafael . Ensinando e aprendendo no mundo das tecnologias (ENINED - UNIOESTE) 6 horas. 2009. (Curso de curta duração ministrado/Outra).

CAFEZEIRO, I. L. ; RIBEIRO, D. S. . Programação para crianças usando LOGO (SNCT 2009) 4 horas. 2009. (Curso de curta duração ministrado/Extensão).

Cafezeiro, Isabel . Ensinando e aprendendo no mundo das tecnologias (SNCT 2009) 4 horas. 2009. (Curso de curta duração ministrado/Extensão).

Cafezeiro, Isabel ; LIMA, Rosângela ; REED, J. . Tenda da Informática (SNCT 2009) 4 horas. 2009. (Curso de curta duração ministrado/Extensão).

Cafezeiro, Isabel ; BARROS, T. G. . A informática no Espaço Avançado (SEMEXT 2009) 1 hora. 2009. (Curso de curta duração ministrado/Extensão).

Cafezeiro, Isabel ; RIBEIRO, D. S. . Informática para crianças (SEMEXT 2009) 1 hora. 2009. (Curso de curta duração ministrado/Extensão).

CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Computabilidade: História e Matemática (ERIGO) 2 horas. 2008. (Curso de curta duração ministrado/Outra).

Cafezeiro, Isabel . Mostra das Iniciativas do Instituto de Computação para Inclusão Digital (SNCT 2008) 2 horas. 2008. (Curso de curta duração ministrado/Extensão).

CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Computabilidade: História e Matemática (ERIMG) 2 horas. 2007. (Curso de curta duração ministrado/Outra).

CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Computabilidade: História e Matemática. 2007. (Desenvolvimento de material didático ou instrucional - Escola Regional de Minas Gerais - Material Didático).

Cafezeiro, Isabel ; HAEUSLER, E. H. . Categorical Equalisers and Operations on Algebraic Specifications Relatório Técnico de Pesquisa apresentado ao Departamento de Computação da UFF. 2003. (Relatório de pesquisa).

Cafezeiro, Isabel ; HAEUSLER, E. H. . Limits in the Category of Algebraic Specifications Relatório Técnico de Pesquisa apresentado ao Departamento de Computação da UFF. 2002. (Relatório de pesquisa).

Cafezeiro, Isabel ; HAEUSLER, E. H. . Limits and other Categorical Concepts in Algebraic Signatures Relatório Técnico de Pesquisa apresentado ao Departamento de Computação da UFF. 2002. (Relatório de pesquisa).

Cafezeiro, Isabel . Formal Software Development Methods - Raise Based Software Development. 1996. (Curso de curta duração ministrado/Especialização).

Cafezeiro, Isabel ; CARNOTA, R. . Uma Teoria para Revisão de Crenças. 1992. (Relatório de pesquisa).

CAFEZEIRO, I. L. . Compiladores - Texto didático. 2005 (Texto Didático) .

CAFEZEIRO, I. L. . Linguagens de Programação - Curso disponibilizado na WEB. 2005 (Texto Didático) .

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2015 - 2017

    Por uma abordagem situada da Matemática e da Computação, Descrição: Este é um projeto interdisciplinar que alia aos conhecimentos matemáticos métodos da antropologia, história das ciências, epistemologia dentre outras, buscando a compreensão do processo de construção do conhecimento matemático. O projeto propõe uma abordagem situada do conhecimento, ou seja, fortemente vinculada às coisas materiais (locais) e ao tempo onde se enunciou. No campo teórico, o projeto propõe repensar o aparato conceitual que a computação toma como fundamento tendo em vista as situações da computação contemporânea, e invocando a contribuição de outros campos de saberes. No campo prático, o projeto considera situações da computação onde o hibridismo, o fluxo, e a incompletude se fazem presentes, como por exemplo, a computação humana (busca estabelecer a operação em conjunto entre o processamento humano e maquínico promovendo um encontro entre o computável e o não computável, ou entre computável e o computacionalmente inviável) e as metodologias ágeis (partem da percepção de que os sistemas necessitam considerar o caráter dinâmico da aplicação para qual são desenvolvidos). O projeto propõe estudos no campo da teoria que permitam compreender os fundamentos de configurações da computação contemporânea e relacioná-los com as demandas e questionamentos da sociedade contemporânea.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Ivan da Costa Marques - Integrante / Ricardo Kubrusly - Integrante / Carmem Gadelha - Integrante / Edwaldo Machado Cafezeiro - Integrante., Financiador(es): International Council for Science Unions - Bolsa / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.Número de orientações: 1

  • 2014 - 2017

    MCTI/CNPQ/Universal 14/2014 - Faixa B, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 09/05/2017., Descrição: Descrição: A Teoria das Categorias tem um estreito relacionamento com modelos de semântica para computação e sistemas computacionais, assim como uma forte ligação com a teoria da prova através da semântica para sistemas lógicos via extensões do isomorfismo Curry-Howard. Este projeto de pesquisa investiga como a Teoria da Prova e a Teoria das Categorias podem contribuir como base teórica para a fundamentação de Linguagens e Abordagens Lógicas e Semânticas. OBJETIVO Os objetivos principais deste projeto são: (i) Investigar como técnicas e ferramentas da Teoria das Categorias podem ser usadas no processo de especificação semântica de modelos e sistemas (ii) Investigar como o uso de conceitos, técnicas e abordagens em Teoria da Prova podem ser usados na fundamentação de Linguagens e abordagens lógicas para a representação de conhecimento e modelos de sistemas (provavvelmente com o uso de Ontologias Formais) (iii) Relacionar os ítens i e ii acima através de morfismos composicionais (Funtores) e associar uma semântica computável a estes morfismos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (4) . , Integrantes: Isabel Leite Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador / Alexandre Rademaker - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Mario R. Folhadela Benevides - Integrante / Luiz Carlos Pereira - Integrante / CHRISTIANO DE OLIVEIRA BRAGA - Integrante / Lew Gordev - Integrante / Vaston Gonçalves Costa - Integrante / Jean Baptiste Joinet - Integrante / Gilles Dowek - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Hugo Macedo - Integrante / Bruno Lopes Vieira - Integrante / Cecilia Lustosa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2013 - Atual

    Localizando a matemática: uma etnografia do conhecimento matemático, Descrição: O projeto ?Localizando a matemática: uma etnografia do conhecimento matemático? é um projeto interdisciplinar que alia aos conhecimentos matemáticos métodos da antropologia, história das ciências, psicologia dentre outras, buscando a compreensão do processo de construção do conhecimento matemático. O título ?Localizando a Matemática? sugere que o conhecimento matemático é situado, ou seja, fortemente vinculado às coisas materiais (locais) de onde se enunciou. O projeto parte de situações da matemática que permitem analisar e ilustrar questões sobre o processo de construção do conhecimento. Citamos alguns exemplos já analisados: (i) Alan Turing em seu famoso artigo de 1936 ?On computable numbers, with an application to the Entscheidungsproblem?, à medida em que descreve seus resultados matemáticos faz constantes referências às materialidades e processos vividos em meio ao seu raciocínio. (ii) Georg Cantor (1845-1918), em suas cartas a Dedekind, deixa transparecer preocupações e situações que interferem em seu raciocínio matemático. (iii) As controvérsias sobre a definição de uma arquitetura computacional na década de 1970 ilustram situações em que as configurações matemáticas são claramente afetadas por questões consideradas extra-matemáticas. Os três exemplos citados fazem referência à Ciência da Computação, seja em seus fundamentos (i,ii) ou em questões práticas (iii). Ao proporcionar uma grande aproximação entre o pensamento (as ideias) e as materialidades (o computador onde as ideias matemáticas se materializam), a computação vem a constituir um campo fértil para a compreensão do processo de construção do pensamento matemático. Este projeto propõe um reposicionamento diante de situações em que o conhecimento é considerado independente da conjuntura local, sendo portanto tomado como algo ?neutro? e ?universal? e aborda consequências desta concepção.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Ivan da Costa Marques - Integrante / Ricardo Kubrusly - Integrante., Financiador(es): Pro-reitoria de pesquisa - Outra., Número de produções C, T & A: 9

  • 2009 - Atual

    Processos Participativos em Ciência e Tecnologia, Descrição: Este projeto focaliza a construção de fatos e artefatos em ciências e tecnologia. Sobre a fundamentação dos Estudos Sociais de Ciência e Tecnologia, aborda a história da computabilidade ressaltando a coparticipação entre ciência e sociedade, o que coloca em evidência aspectos que não costumam aparecer nos textos técnicos de computação. Com relação à participação popular em ciências e tecnologia, o projeto estuda os mecanismos que a Universidade e as escolas pode prover para incentivar a participação popular na produção de ciência e tecnologia.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (11) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Ivan da Costa Marques - Integrante / Ricardo Kubrusly - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Organização dos Estados Iberoamericanos - Auxílio financeiro / Fundação Euclides da Cunha - Auxílio financeiro., Número de produções C, T & A: 44 / Número de orientações: 12

  • 2007 - 2014

    Aplicações em Categorias, Descrição: Consiste na experimentação e aperfeiçoamento de investigações de problemas relacionados ao uso e à definição de Operações Categóricas em diversos contextos. Na fase atual, o projeto desenvolve uma álgebra e uma metodologia para especificação de sistemas ubíquos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Isabel Leite Cafezeiro - Coordenador / Edward Hermann Heausler - Integrante / Alexandre Rademaker - Integrante / Markus Endler - Integrante., Número de produções C, T & A: 7

  • 2005 - 2007

    (CTINFO) Anubis: Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 09/05/2017., Descrição: Modelagem e Análise de Sistemas Multi-Agentes com camada de Segurança (Trust).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) . , Integrantes: Isabel Leite Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador / Alexandre Rademaker - Integrante / Markus Endler - Integrante / Geiza Maria Hamazaki da Silva - Integrante / CHRISTIANO DE OLIVEIRA BRAGA - Integrante / Davi Romero Vasconcelos - Integrante / Juliana Carpes Imperial - Integrante / Mario Roberto Folhadela Benevides - Integrante / Carlos José Pereira de Lucena - Integrante / Fernando Naufel do Amaral - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2005 - 2006

    Teoria da Prova na Fundamentação do Processo de Teoria da Prova na Fundamentação do Processo de Especificação e Validação de Sistemas, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 09/05/2017., Descrição: A presente proposta tem por objetivos a justificação de uma abordagem baseada em teoria da prova para a fundamentação do processo de desenvolvimento e validação de software. Dentro deste escopo tem-se os seguintes objetivos espeçificos: 1- Justificação da abordagem baseda no Isomorfismo Curry-Howard com uso de especificação abstrata de dados e funcionalidades em lógica poli-sortida de primeira ordem, em detrimento da abordagem totalmente construtiva baseada em lógica de alta ordem e teoria intuicionista dos tipos. \item Aprimoramento dos sistemas de Dedução Natural para lógicas de tempo ramificado com uso em análise formal de especificação de sistemas reativos. Trata-se neste caso do aprimoramento de dos sistemas para CTL e CTL* e seu uso em especificação. A abordagem geral para quantificação em Dedução Natural é um resultado em lógica bastante interessante neste ponto, apesar de não estar diretamente conectado com a ciência da computação. 2- Desenvolvimento de critérios de identidade para provas que se mostrem mais adequados no tocante à interpretação, em teoria das categorias, do isomorfismo Curry-Howard. Este tópico está bastante inserido no projeto CAPES-DAAD coordenado pelo autor. 3- Conclusão do trabalho em interoperabilidade formal, com o desenvolvimento da sua contra-partida em teoria da prova. 4- Implementação dos modelos propostos em [Fnaufel] na forma de Framework (software) com análise formal provida por prova de teoremas em Teoria Local dos Conjuntos. Desenvolvimento de alguma ferramenta para o suporte, ao menos semi-automático, a prova de teoremas em Teoria Local dos Conjuntos. 4- Desenvolvimento de sistemas dedutivos para a lógica modal de jogos e definição de um verificador de modelos para a mesma (tarefas independentes). O uso da técnica utilizada em [Renteria & Haeusler] será explorada por Davi Romero (aluno de doutorado) neste contexto. Pesquisa preliminar em lógica modal foi publicada em [MAS e Jogos] pela equipe do autor. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Isabel Leite Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador / Christiano Braga - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Mario R. Folhadela Benevides - Integrante / Luiz Carlos Pereira - Integrante / Rademaker, Alexandre - Integrante / Christian Jacques Renteria - Integrante / Alfio Martini - Integrante / Uwe Wolter - Integrante / Juliana Vizzoto - Integrante / Davi Romero Vasconcelos - Integrante / Juliana Carpes Imperial - Integrante / Carlos Bazílio Martins - Integrante / Fernando Naufel do Amaral - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.

  • 2003 - 2007

    Categorias e Especificações, Descrição: O projeto Categorias e Especificações investiga problemas relacionados ao uso e à definição de Operadores Categóricos em Especificações Formais em diversos contextos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Edward Hermann Heausler - Integrante., Número de produções C, T & A: 9

  • 2001 - 2003

    Teoria de Domínios e Operadores de Compartilhamento, Descrição: O projeto Teoria de Domínios e Operadores de Compartilhamen investiga problemas relacionados ao uso e à definição de Operadores de Compartilhamento em um contexto Denotacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Edward Hermann Heausler - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 1 / Número de orientações: 2

  • 1996 - 1997

    Categories for System Integration, Descrição: Intercâmbio com o Laboratório de Tecnologia em Software, na Universidade das Nações Unidas (Macau) para estabelecimento do projeto Categories for System Integration, sob a coordenação do Professor Tomasz Janowsky, início em agosto de 1996. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Isabel Leite Cafezeiro - Integrante / Armando Haeberer - Integrante / Edward Hermann Haeusler - Coordenador / Tomasz Janowsky - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 1991 - 1994

    Aspectos Lógico-Filosóficos em Inteligência Artificial, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Paulo Alcoforado - Integrante / Jorge Petrucio Viana - Integrante / Walzi Conceição Sampaio da Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador.Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador.Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

  • 2012 - 2014

    História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.

  • 2010 - 2010

    Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1

  • 2003 - 2004

    Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.

Seção coletada automaticamente pelo Escavador

Prêmios

2019

Patronesse da turma 2019.1 Sistemas de Informação UFF, Sistemas de Informação UFF.

2018

Patronesse da turma 2018.1 Sistemas de Informação UFF, Sistemas de Informação UFF.

2018

Paraninfa da turma 2018.2 Sistemas de Informação UFF, Sistemas de Informação UFF.

2017

Professora Homenageada turma 2017.1 Sistemas de Informação UFF, Sistemas de Informação UFF.

2010

Segundo Lugar na categoria Tecnologia para o Projeto Incluir - Prêmio Josué de Castro, PROEX.

2001

Bolsista recém- doutor pela Iniciativa Kit-enxoval, CNPq.

1996

Research Fellow at UNU-IIST (International Institute for Software Technology), CNPq.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal Fluminense, Departamento de Ciência da Computação, Instituto de Computação. , Avenida General Milton Tavares de Souza, Gragoatá, 24210346 - Niterói, RJ - Brasil, Telefone: (21) 26295639, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2017 - Atual

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2015 - 2017

    Universidade Federal Fluminense

    Vínculo: , Enquadramento Funcional: Professor Associado IV, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2013 - 2015

    Universidade Federal Fluminense

    Vínculo: , Enquadramento Funcional: Professor Associado III, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2011 - 2013

    Universidade Federal Fluminense

    Vínculo: , Enquadramento Funcional: Professor Associado II, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2009 - 2011

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado I, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2007 - 2009

    Universidade Federal Fluminense

    Vínculo: , Enquadramento Funcional: Professor Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2004 - 2006

    Universidade Federal Fluminense

    Vínculo: , Enquadramento Funcional: Professor Adjunto III, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2002 - 2004

    Universidade Federal Fluminense

    Vínculo: , Enquadramento Funcional: Professor Adjunto II, Carga horária: 40, Regime: Dedicação exclusiva.

  • 2000 - 2002

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.

  • 1998 - 2000

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente III, Carga horária: 40, Regime: Dedicação exclusiva.

  • 1996 - 1998

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente II, Carga horária: 40, Regime: Dedicação exclusiva.

  • 1994 - 1996

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente I, Carga horária: 40, Regime: Dedicação exclusiva.

  • 1994 - 1994

    Universidade Federal Fluminense

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40, Regime: Dedicação exclusiva.

  • 1989 - 1990

    Universidade Federal Fluminense

    Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 20

    Outras informações:
    Desenvolvimento de Sistemas de Informação de Extensão - SIEX (PRo-reitoria de Extensão UFF)

    Atividades

    • 01/2012

      Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I p/ SI, Computação e sociedade p SI , Tópicos em Ciência da Computação , Linguagens de Programação , Tópicos Especiais em Sist de Progr I - Abordagens não-reducionistas , Metodologia da Pesquisa Científica , Teoria da Computação para sistemas de Informação

    • 01/1989

      Pesquisa e desenvolvimento , Instituto de Computação, .,Linhas de pesquisa

    • 05/2010 - 05/2016

      Direção e administração, Instituto de Computação, .,Cargo ou função, vice-coordenador do curso de Graduação em Sistemas de Informação 2010 a 2016.

    • 01/2015 - 01/2016

      Ensino, CMPDI, Nível: Pós-Graduação,Disciplinas ministradas, Fundamentos das TICs. 30 horas. CMPDI: Mestrado Profissional em Diversidade e Inclusão UFF

    • 01/1998 - 12/2012

      Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Programação de Computadores III

    • 01/2005 - 12/2011

      Extensão universitária , Instituto de Computação, .,Atividade de extensão realizada, O Computador de Papel (Proex) 2013.

    • 01/1998 - 12/2010

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Informática e Sociedade, Linguagens de Programação, Linguagens Formais e Teoria da Computação, Programação de Computadores I, Programação Orientada a Objetos, Introdução à Ciência da Computação, Informática I

    • 03/2000 - 08/2003

      Ensino, CIÊNCIAS DA COMPUTAÇÃO, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação (2 períodos) Programa de Pós Graduação em Computação UFF

    • 01/1994 - 12/1997

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Aspectos Formais da Computação I, Compiladores, Introdução à Informática, Programação de Computadores I, Programação Orientada a Objetos (Tópicos Especiais em Sistemas de Programação VI), Projeto de Aplicação

  • 1996 - 1996

    United Nations University -International Institute for Software Technology

    Vínculo: Professor vistante, Enquadramento Funcional: Assistente 1, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    "Research Fellow" atuando nos projetos CASINO (Category for Integrations Systems) e RAISE (Specification Language)

    Atividades

    • 01/1996 - 12/1996

      Pesquisa e desenvolvimento , International Institute for Software Technology, .,Linhas de pesquisa

    • 11/1996 - 11/1996

      Treinamentos ministrados , International Institute for Software Technology, .,Treinamentos ministrados, RAISE - Specification Language

  • 1994 - 1998

    Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

    Vínculo: Professor Colaborador, Enquadramento Funcional: Colaborador - Laboratório de Métodos Formais, Carga horária: 20

  • 1993 - 1993

    Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

    Vínculo: Celetista, Enquadramento Funcional: Professor Auxiliar de Ensino I

    Atividades

    • 03/1996 - 12/1996

      Pesquisa e desenvolvimento , Laboratório de Métodos Formais, .,Linhas de pesquisa

    • 01/1993 - 06/1993

      Ensino, Letras, Nível: Graduação,Disciplinas ministradas, WordStar e Carta Certa

  • 1991 - 1994

    Instituto de Lógica Filosofia e Teoria da Ciência

    Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Bolsista Iniciação Científica CNPq, Carga horária: 0

    Outras informações:
    Projeto: Aspectos Logico-Filosoficos em Inteligencia Artificial Investigar a teoria da Revisão de Crenças e suas aplicações. Produzir material didático em Português sobre o tema.

    Atividades

    • 01/1991 - 12/1994

      Pesquisa e desenvolvimento , ILTC, .,Linhas de pesquisa

  • 1990 - 1990

    Laboratório Nacional de Computação Científica

    Vínculo: Outro, Enquadramento Funcional: Estagiária, Carga horária: 20

    Outras informações:
    Instalação e Operação do programa de elementos finitos MODULEF nos Sistemas Operacionais VM/CMS e SUN-OS, sob orientação do Pesq Leopoldo Penna Franca - LNCC

    Atividades

    • 04/1990 - 06/1990

      Pesquisa e desenvolvimento , LNCC, .,Linhas de pesquisa

    • 04/1990 - 06/1990

      Estágios , Laboratório Nacional de Computação Científica, .,Estágio realizado, Estagio - Instalação e Operação do programa de elementos finitos MODULEF nos Sistemas Operacionais VM/CMS e SUN-OS..

  • 2012 - Atual

    Universidade Federal do Rio de Janeiro

    Vínculo: Colaborador, Enquadramento Funcional: Professor Colaborador, Carga horária: 20

    Atividades

    • 11/2012

      Direção e administração, HCTE, .,Cargo ou função, Participação em Bancas de seleção de teses e dissertações para concursos SBHC, CAPES.

    • 01/2011

      Pesquisa e desenvolvimento , HCTE, .,Linhas de pesquisa

    • 07/2014 - 01/2017

      Ensino, Artes da Cena, Nível: Pós-Graduação,Disciplinas ministradas, O Trágico e a Cena Contemporânea (3 períodos)

    • 11/2012 - 01/2017

      Ensino, HCTE, Nível: Pós-Graduação,Disciplinas ministradas, Ciências e Literatura, Matemáticas, O Trágico e a Cena Contemporânea