???global.info.a_carregar???
Fernando Miguel Gamboa de Carvalho started its professional career as a software analyst at SSF/Easysoft after concluding a 5 years degree in Electrical and Computer Engineering (1992-97) at IST. Since then, he has interleaved his professional path between the university and the industry. He took PAGE post-graduation (2000-01) at Catholic University of Portugal and he has received the MsC (2003-05) and the PhD (2009-14) degrees in Computer and Software Engineering from IST. During this journey, he passed by Altitude Software, Quatro SI, CCISEL and INESC ID where he had the opportunity to participate in different kinds of information systems projects in direct partnership with the industry. Since 2008, he is also an Assistant Professor at Computer Science and Engineering of ISEL.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Fernando Miguel Gamboa de Carvalho

Nomes de citação

  • Carvalho, Fernando Miguel

Identificadores de autor

Ciência ID
C01C-C39A-906A
ORCID iD
0000-0002-4281-3195
Formação
Grau Classificação
2009/10/01 - 2014/04/23
Concluído
 Engenharia Informática e de Computadores (Doutoramento)
Especialização em Engenharia de Software
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Optimizing Memory Transactions for Large-scale Programs" (TESE/DISSERTAÇÃO)
 Pass with Merit
2003/10/01 - 2005/11/30
Concluído
 Engenharia Electrotécnica e de Computadores (Mestrado)
Especialização em Redes e Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Resolução distribuída de interacções de serviços na Internet" (TESE/DISSERTAÇÃO)
 5
1999/09/01 - 2000/07/31
Concluído
 Programa Avançado de Gestão para Executivos (PAGE) (Pós-Graduação)
Universidade Católica Portuguesa Unidade de Investigação em Gestão e Economia, Portugal
1992/10/01 - 1997/09/30
Concluído
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Licenciatura)
Especialização em Controlo e Robótica
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Sistema integrado de movimentação de um robot móvel baseado em dados sensoriais" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2008/06/01 - Atual Professor Adjunto (Docente Ensino Superior Politécnico) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2002/10/01 - 2008/05/31 Assistente (Docente Ensino Superior Politécnico) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
1997/01/01 - 1997/06/30 Monitor (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2011/01/01 - Atual Vice-Presidente CCISEL Centro de Cálculo do ISEL, Portugal
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2001/05/01 - 2002/09/30 Manager Quatro SI, Portugal
2000/09/01 - 2001/04/30 Project Manager Altitude Software, Portugal
1999/09/01 - 2000/08/31 Project Manager Altitude Software Brasil, Brasil
1997/08/01 - 1999/08/31 Arquitecto de Software SSF Easysoft, Portugal
Projetos

Projeto

Designação Financiadores
2020/10/01 - 2021/09/30 WebFluid - Reactive Web streams for Big Data
IDI&CA-2020-WebFluid
Investigador responsável
Instituto Politécnico de Lisboa, Portugal
 Instituto Politécnico de Lisboa
Concluído
2009/10/01 - 2013/09/30 RuLAM: Running Legacy Applications on Multicores
PTDC/EIA-EIA/108240/2008
Investigador
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/01/01 - 2012/12/31 Projecto Estratégico - LA 21 - 2011-2012
PEst-OE/EEI/LA0021/2011
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2007/10/01 - 2008/09/30 Detecting Feature Interactions as Security Threats
PDTC/EEA-ELC/66472/2006
Investigador
Universidade de Lisboa Instituto Superior Técnico, Portugal
Concluído

Outro

Designação Financiadores
2015/01/01 - 2018/12/31 HtmlFlow - HtmlFlow Java DSL to write typesafe HTML - https://github.com/xmlet/HtmlFlow
ccisel-2015-07
Desenvolvimento técnico
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Concluído
Produções

Publicações

Artigo em conferência
  1. Carvalho, Fernando; Fialho, Pedro. "Enhancing SSR in Low-Thread Web Servers: A Comprehensive Approach for Progressive Server-Side Rendering with any Asynchronous API and Multiple Data Models". 2023.
    10.5220/0012165300003584
  2. Poeira, Diogo; Miguel Carvalho, Fernando. "Deconstructing yield Operator to Enhance Streams Processing". 2021.
    10.5220/0010541001430150
  3. Carvalho, Fernando. "HoT: Unleash Web Views with Higher-order Templates". 2019.
    10.5220/0008167701180129
  4. Carvalho, F.M.; Cachopo, J.. "Runtime elision of transactional barriers for captured memory". 2013.
    10.1145/2442516.2442556
  5. Carvalho, Fernando Miguel; Cachopo, J.. "Adaptive object metadata to reduce the overheads of a multiversioning STM". Trabalho apresentado em Multiprog-2012, Paris, 2012.
    Publicado
  6. Carvalho, F.M.; Crespo, R.G.. "An adviser for efficiently resolve email feature interactions". 2006.
    10.1109/AICT-ICIW.2006.43
  7. FM Carvalho; RG Crespo. "An experimental distributed resolution of WWW interactions". Trabalho apresentado em IADIS International Conference WWW/Internet 2005, Lisbon, 2005.
    Publicado
Artigo em revista
  1. Carvalho, F.M.; Cachopo, J.. "Optimizing memory transactions for large-scale programs". Journal of Parallel and Distributed Computing 89 (2016): 13-24. http://www.scopus.com/inward/record.url?eid=2-s2.0-84951779407&partnerID=MN8TOARS.
    10.1016/j.jpdc.2015.12.001
  2. Carvalho, F.M.; Cachopo, J.. "Runtime elision of transactional barriers for captured memory". ACM SIGPLAN Notices 48 8 (2013): 303-304. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885213297&partnerID=MN8TOARS.
    10.1145/2517327.2442556
  3. Carvalho, Fernando. "Distributed resolution of feature interactions for internet applications". Computer Networks (2007): http://dx.doi.org/10.1016/j.comnet.2006.08.010.
    10.1016/j.comnet.2006.08.010
Capítulo de livro
  1. Fernando Miguel Carvalho; Luis Duarte; Julien Gouesse. "Text Web Templates Considered Harmful". 69-95. Springer International Publishing, 2020.
    10.1007/978-3-030-61750-9_4
Livro
  1. Carvalho, F.M.; Cachopo, J.. Lightweight identification of captured memory for software transactional memory. 2013.
    10.1007/978-3-319-03859-9_2
  2. Carvalho, F.M.; Cachopo, J.. STM with transparent API considered harmful. 2011.
    10.1007/978-3-642-24650-0_28
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2012 Objects with adaptive accessors to avoid STM barriers TM Workshop on Transactional Memory (WTM 2012)
Eurosys (Berna, Suiça)

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2016/02 - 2016/07 Membro de equipa de 3 especialistas para avaliação de candidatura a um projecto de Regime Contratual de Investimento P2020, que abrange projectos de especial interesse para a economia nacional, com gestão a cargo da AICEP e avaliação técnico-científica liderada pela Agência Nacional de Inovação, S.A. Agência Nacional de Inovação SA, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2010/01/01 - 2012/07/31 PROMPT - Programa Avançado em Métodos de Programação e Tecnologia Programa Avançado em Métodos de Programação e Tecnologia (Pós-Graduação) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Distinções

Prémio

2019 Prémio Excelência na Área das Tecnologias e Engenharias
Instituto Politécnico de Lisboa, Portugal
2013 Best Paper Award on the 13th International Conference on Algorithms and Architectures for Parallel Processing