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. Atuou 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 da diretoria (gestões eleitas 2017-2019 e 2019-2021) 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).

É da imprensa e quer entrar em contato? Fale com a Assessoria de Imprensa da UFF

Publicações

Revista: https://doi.org/10.51919/revista_sh.v1i0.260
Título Anoordem crescente Idioma
Prataria é pecado! 2022 Português
Revista: REVISTA TECNOLOGIA E SOCIEDADE (ONLINE)
Título Anoordem crescente Idioma
Extensão universitária e formação sociotécnica: estratégias para a graduação em Sistemas de Informação 2021 Português
Revista: O Que nos Faz Pensar (PUCRJ)
Título Anoordem crescente doi Idioma
O Paradoxo de Richard (conexões artístico-filosófico-matemáticas) 2020 10.32334/oqnfp.2020n47a717 Português
Revista: Amazônia (UFPA)
Título Anoordem crescente doi Idioma
Duas Matemáticas: percurso e co-construção das formas dedutiva e procedimental 2020 10.18542/amazrecm.v16i35.8476 Português
Revista: Scientiarum Historia (Impresso)
Título Anoordem crescente Idioma
Por uma sociologia do redondo 2020 Português
Articulações antropofágicas: sobre relações interdisciplinares entre a formação da identidade gamer brasileira e outras buscas identitárias no Brasil 2020 Português
Revista: TEXTO DIGITAL (UFSC)
Título Anoordem crescente doi Idioma
Caminhando com Valentim (Rizoma, Pandemia e possibilidades) 2020 10.5007/1807-9288.2020v16n1p20 Português
Revista: AVALIAÇÃO: REVISTA DA AVALIAÇÃO DA EDUCAÇÃO SUPERIOR
Título Anoordem crescente doi Idioma
Qual é a contribuição do seu trabalho para o desenvolvimento da Ciência e da Tecnologia? (O Mágico e o biscateiro) 2019 10.1590/s1414-407720190001000013 Português
Revista: REVISTA IBEROAMERICANA DE TECNOLOGIA EN EDUCACIÓN Y EDUCACIÓN EN TECNOLOGÍA (EN LÍNEA)
Título Anoordem crescente doi Idioma
Percursos entrelaçados na configuração do campo acadêmico de Sistemas de Informação no Brasil 2019 10.24215/18509959.23.e01 Português
Revista: Philosophy of Mathematics Education Journal
Título Anoordem crescente Idioma
Paulo Freire and mathematics, for a situated approach of Mathematics 2018 Português
Revista: Interagir (UERJ)
Título Anoordem crescente doi Idioma
Um percurso na construção da prática extensionista em computação e seus desdobramentos interdisciplinares 2017 10.12957/interag.2017.25315 Português
Revista: Journal of Indian Council of Philosophical Research
Título Anoordem crescente doi Idioma
Paulo Freire, Mathematics and Policies that Shape Mathematics 2017 10.1007/s40961-016-0088-0 Inglês
Revista: iSys - Revista Brasileira de Sistemas de Informação
Título Anoordem crescente Idioma
Educação, Sociedade e Formação em Sistemas de Informação 2017 Português
Revista: Scientiarum Historia
Título Anoordem crescente Idioma
Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira 2016 Português
Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas 2016 Português
Que teus olhos sejam atendidos! 2015 Português
Meio homem, meio máquina: o computador e os híbridos 2013 Português
Desenvolvimentos tecnológicos e autonomias: traduções acadêmicas dos anos 70 e dos dias atuais 2013 Português
Sobre o trabalho das/os matemáticas/os 2012 Português
Da corte suprema, a matemática, à matemática nos tribunais 2011 Português
Revista: Perspectivas em Ciência da Informação (on line)
Título Anoordem crescente doi Idioma
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 2016 10.1590/1981-5344/2681 Inglês
Revista: REVISTA BRASILEIRA DE HISTÓRIA DA CIÊNCIA
Título Anoordem crescente Idioma
Os Números dos Mundos 2016 Português
Recontando a Computabilidade 2010 Português
Revista: REVEMAT
Título Anoordem crescente Idioma
Crises e Incompletudes, Multi-histórias Matemáticas 2016 Português
Revista: Coletânea (Rio de Janeiro)
Título Anoordem crescente Idioma
O trágico e a cena contemporânea: por um encontro artístico-matemático 2015 Português
Revista: Advances in education
Título Anoordem crescente Idioma
Issues of Attending High Skills/Giftedness Students: discussion of an important topic 2015 Português
Revista: KNOWLEDGE ENGINEERING REVIEW (ONLINE)
Título Anoordem crescente doi Idioma
Specifying ubiquitous systems through the algebra of contextualized ontologies 2014 10.1017/s0269888914000046 Inglês
Revista: Lecture Notes in Computer Science
Título Anoordem crescente Idioma
A Knowledge-Construction Perspective on Human Computing, Collaborative Behaviour and New Trends in System Interactions 2014 Inglês
Revista: Tempo Brasileiro
Título Anoordem crescente Idioma
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? 2012 Português
Revista: JOURNAL OF MATHEMATICS AND SYSTEM SCIENCE
Título Anoordem crescente Idioma
Interweavings of Alan Turing's Mathematics and Sociology of Knowledge 2012 Português
Revista: Liinc em Revista
Título Anoordem crescente doi Idioma
Estendendo extensões:a computação como agente integrador | Extending extensions: computing as an integrating agent 2009 10.18225/liinc.v5i1.265 Português
Revista: Monografias em Ciência da Computação
Título Anoordem crescente Idioma
Programming language syntax: expressing sharing 1999 Português
From diagram to code via attribute grammar 1997 Português
Paradigmas de linguagens de programação: uma abordagem geométrica 1996 Português