???global.info.a_carregar???
Pedro Baltazar Vasconcelos. É Professor Auxiliar no(a) Universidade do Porto. Publicou 3 artigos em revistas especializadas. 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.
Identificação

Identificação pessoal

Nome completo
Pedro Baltazar Vasconcelos

Nomes de citação

  • Vasconcelos, Pedro

Identificadores de autor

Ciência ID
A11C-C47F-98B7
ORCID iD
0000-0002-8387-9772

Endereços de correio eletrónico

  • pbv@dcc.fc.up.pt (Profissional)
  • pbvascon@fc.up.pt (Profissional)

Moradas

  • DCC/FCUP Rua Campo Alegre, 1021/1055, 4169-007, Porto, Porto, Portugal (Profissional)

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2003 - 2008
Concluído
 University of St Andrews, Scotland, UK (Doctor of Philosophy)
Especialização em Computer Science
University of Saint Andrews, Reino Unido
""Space Cost Analysis using Sized Types"" (TESE/DISSERTAÇÃO)
1997 - 1998
Concluído
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
 Muito Bom
1989 - 1993
Concluído
 Matemática Aplicada, ramo de Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 17
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2008/11/28 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto, Portugal
1999/12/31 - 2008/11/27 Assistente (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1995/12/12 - 1998/09/30 Assistente Estagiário (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
Projetos

Projeto

Designação Financiadores
2016/07/01 - 2019/06/30 Elven - Expressive Logics for VErifying the Net
POCI-01-0145-FEDER-016844
Investigador
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011 RESCUE, REliable and Safe Code execUtion for Embedded systems
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/65862/PT
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Vasconcelos, P; Jost, S; Florido, M; Hammond, K. "Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages". 2015.
    10.1007/978-3-662-46669-8_32
  2. Simoes, HR; Hammond, K; Florido, M; Vasconcelos, P. "Using intersection types for cost-analysis of higher-order polymorphic functional programs". 2007.
Artigo em revista
  1. Jost, S; Vasconcelos, P; Florido, M; Hammond, K. "Type-Based Cost Analysis for Lazy Functional Languages". Journal of Automated Reasoning (2017):
    10.1007/s10817-016-9398-9
  2. Rodrigues, V; Akesson, B; Florido, M; de Sousa, SM; Pedroso, JP; Vasconcelos, P. "Certifying execution time in multicores". SCIENCE OF COMPUTER PROGRAMMING (2015):
    10.1016/j.scico.2015.06.006
  3. Simoes, H; Vasconcelos, P; Florido, M; Jost, S; Hammond, K. "Automatic Amortised Analysis of Dynamic Memory Allocation for Lazy Functional Programs". ACM SIGPLAN NOTICES (2012):
    10.1145/2398856.2364575
Capítulo de livro
  1. Vasconcelos, PB; Hammond, K. "Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs". 2004.
    10.1007/978-3-540-27861-0_6