• Fundação
    • O Patrono
    • O Fundador
    • Estrutura Orgânica
    • Equipa
    • Caracterização Jurídica
    • Objetivos e Competências
    • Informação Institucional
    • Documentos Legais
    • Galeria FGF
    • Contactos
  • Media
    • Agenda
    • Notícias
    • Eventos
      • IOBC
    • 25 Anos Fundação Gaspar Frutuoso
    • 500 Anos Gaspar Frutuoso
      • Biografia
      • Obra
      • Legado
      • Programa
      • Calendário de Eventos
      • Galeria
      • Downloads
    • Material Gráfico FGF
    • Galeria de Eventos
  • Prémios
    • Ana Neto
    • Mérito Científico UAc
    • Mérito de Ingresso UAc
  • Emprego
    • Oportunidades de Emprego
    • Bolsas
  • Investigação
    • Projetos e Prestações de Serviço
    • Investigadores
    • Entidades de I&D
    • Entidades Financiadoras
    • Evidências e Publicações Científicas
    • Documentos de Apoio
    • Submissão de Projetos
    • Recursos Humanos
    • Programas de Financiamento
  • Portal do Investigador  
EN
PT

EF

Elisabete Maria da Silva Raposo Freire

elisabete maria da silva raposo freire | freire, elisabete maria da silva raposo | elisabete freire | elisabete raposo freire
Elisabete Maria da Silva Raposo Freire. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2004 pelo(a) Universidade dos Açores.

  Enviar Mensagem

  Entidades de I&D

FCT - Faculdade de Ciências e Tecnologia

  Perfis Externos

cienciavitae.pt5715-16C1-E917

orcid.org0000-0003-4315-8505

scopus.com35186021600

  Áreas de Conhecimento

Ciências da Computação

  Entidades Financiadoras

Particulares (inscrições)

Partilhar este perfil:

de 5 Publicações

De quem é o peixe? Da lógica à programação (Cap VII)

 2018
  Elisabete Freire
  Investigar em Educação Matemática: Diálogos e Conjunções numa Perspetiva Interdisciplinar
Ciência Vitae

Defining Behaviours by Quasi-finality

 2009
  Freire, Elisabete; Monteiro, Luís; Freire, Elisabete Raposo
  Formal Methods: Foundations and Applications
Ciência Vitae

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

 2009
  Calude, C
Ciência Vitae

Unconventional Computation - 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings

 2009
  Elisabete Freire, ed
Ciência Vitae

Contributos para o estudo da semântica de linguagens com concorrência e mobilidade

 2004
  Freire, Elisabete Raposo
Ciência Vitae

1 Projeto de Investigação

  • Cursos Livres
  • Fechado
CC316
 Particulares (inscrições)
 FCT

Cursos de Formação do Departamento de Matemática


0 Prestações de Serviço

Não existem prestações de serviço

Formação

  Formação

2025/10/22 - 2025/10/22 Outro
O poder da avaliação contínua
Universidade dos Açores, Portugal
2025/09/08 - 2025/09/08 Outro
Online Course Design: Practical Strategies that Work
Universidade dos Açores, Portugal
2025/02/20 - 2025/02/20 Outro
Atividades no Moodle – Avaliação de fóruns e submissão de trabalhos
Universidade dos Açores, Portugal
2025/02/06 - 2025/02/06 Outro
Atelier da Voz: Treino e cuidado vocal na docência
Universidade dos Açores, Portugal
2024/07/15 - 2024/07/15 Outro
Estratégias de Aprendizagem Colaborativa
Universidade dos Açores, Portugal
2024/07/15 - 2024/07/15 Outro
Gamificação com Recurso ao Moodle
Universidade dos Açores, Portugal
2024/07/04 - 2024/07/04 Outro
Digital Storytelling: Conectar Alunos e Conteúdos no Ensino Superior
Universidade dos Açores, Portugal
2024/06/14 - 2024/06/14 Outro
Desafios e Oportunidades da Integração das Tecnologias Digitais e da Inteligência Artificial no Ensino Superior
Universidade dos Açores, Portugal
2023/07 - 2024/07/30 Pós-Graduação
Educação Digital e em rede
Universidade Aberta, Portugal
2023/06 - 2023/07 Outro
Curso de Formação para a Docência Digital em Rede
Universidade Aberta, Portugal
2004 Doutoramento
Doutoramento em Informática
Especialização em Outra:Teoria da Computação
Universidade dos Açores, Portugal
(TESE/DISSERTAÇÃO) "Contributos para o Estudo da Semântica de Linguagens com Concorrência e Mobilidade"
1992 - 1995 Mestrado Pré-Bolonha
Engenharia Informática
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
(TESE/DISSERTAÇÃO) "A Negação na Modularidade em Programação em Lógica"
1985 - 1990 Licenciatura
Matemática/Informática
Universidade dos Açores, Portugal

  Áreas de Conhecimento

Ciências da Computação

Biografia

Elisabete Maria da Silva Raposo Freire. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2004 pelo(a) Universidade dos Açores. É Professor Auxiliar no(a) Universidade dos Açores. Possui 1 capítulo(s) de livros. Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação.

Entidades

  Entidades de I&D

FCT - Faculdade de Ciências e Tecnologia

  Entidades Financiadoras

Particulares (inscrições)

Enviar uma mensagem

© 2025   Política de Privacidade

Developed by Valuring

Confirmar Ação

Tem a certeza que pretende continuar? Esta ação é irreversível.

Portal do

Investigador

Estamos agora mais próximos dos investigadores