| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
1550 | João Alexandre Baptista Vieira Saraiva | Prof. Associado c/ Agregação | 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); 2023 - Agregação em Informática (U.Minho) | 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: | Aulas: - Programação Funcional [J301N4]: turnos T 1, T 2, TP 1, TP 2 e TP 3
- Análise e Teste de Software [J306N7]: turno T 1
- Manutenção e Evolução de Software [ME78ME7800006553]: turnos PL 1 e T 1
|
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.
|
Departamento de Informática (UM)