???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.
Identification

Personal identification

Full name
Pedro Baltazar Vasconcelos

Citation names

  • Vasconcelos, Pedro

Author identifiers

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

Email addresses

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

Addresses

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

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Education
Degree Classification
2003 - 2008
Concluded
 University of St Andrews, Scotland, UK (Doctor of Philosophy)
Major in Computer Science
University of Saint Andrews, United Kingdom
""Space Cost Analysis using Sized Types"" (THESIS/DISSERTATION)
1997 - 1998
Concluded
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
 Muito Bom
1989 - 1993
Concluded
 Matemática Aplicada, ramo de Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 17
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2008/11/28 - Current Assistant Professor (University Teacher) Universidade do Porto, Portugal
1999/12/31 - 2008/11/27 Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1995/12/12 - 1998/09/30 Trainee Assistant (University Teacher) Universidade do Porto Faculdade de Engenharia, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
Projects

Contract

Designation Funders
2016/07/01 - 2019/06/30 Elven - Expressive Logics for VErifying the Net
POCI-01-0145-FEDER-016844
Researcher
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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
Concluded
Outputs

Publications

Book chapter
  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
Conference paper
  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.
Journal article
  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