Departamento de Informática (UM)

Página institucional

1550

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

1550

João Alexandre Baptista Vieira Saraiva

Prof. Associado

Lógica e Métodos Formais

E-mail
Ext.: +604433

E7-2.23

Qualificações: 1993 - Mestre em Ciências da Computação (U. Minho); 1999 - Doutoramento em Ciências da Computação (Universidade de Utrecht, Holanda)

Página pessoal: http://www.di.uminho.pt/~jas

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • José Nuno Macedo, Marcos Viera, João Saraiva: 'Zipping Strategies and Attribute Grammars'. FLOPS 2022: 112-132
  • Francisco Ribeiro, Rui Abreu, João Saraiva: 'Framing Program Repair as Code Completion'. APR@ICSE 2022: 38-45
  • João de Macedo, Rui Abreu, Rui Pereira, João Saraiva: 'WebAssembly versus JavaScript: Energy and Runtime Performance'. ICT4S 2022: 24-34
  • Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, João Saraiva: 'Ranking programming languages by energy efficiency'. Sci. Comput. Program. 205: 102609 (2021)
  • João Saraiva, Ziliang Zong, Rui Pereira: 'Bringing Green Software to Computer Science Curriculum: Perspectives from Researchers and Educators'. ITiCSE 2021: 498-504

Projetos

  • SusTrainable (Promoting Sustainability as a Fundamental Driver in Software Development Training and Education: Erasmus)

Docência

Regências: Nenhuma atribuída actualmente

Aulas:

  • Programação Funcional [8501Q8]: turnos TP 2 e TP 3
  • Programação Funcional [J301N4]: turnos TP 2 e TP 3

Serviço

  • Visiting Research Fellow, Universidade de Tóquio, Japão. Abril a Julho de 2008.
  • Visiting Research Fellow, Universidade do Texas em Austin, USA. Janeiro a Março de 2008.
  • Investigador Convidado, Centro de Informática, Universidade Federal de Pernambuco, Brasil. Setembro a Dezembro de 2007.
  • Visiting Research Fellow, Oxford Computing Laboratory, Universidade de Oxford,Inglaterra. Setembro a Dezembro de 2002.

[ Quadro de todo o pessoal do DIUM ]