???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.
Read full resume ↓
Identification

Personal identification

Full name
Fernando Miguel Gamboa de Carvalho

Citation names

  • Carvalho, Fernando Miguel

Author identifiers

Ciência ID
C01C-C39A-906A
ORCID iD
0000-0002-4281-3195
Education
Degree Classification
2009/10/01 - 2014/04/23
Concluded
 Engenharia Informática e de Computadores (Doutoramento)
Major in Engenharia de Software
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Optimizing Memory Transactions for Large-scale Programs" (THESIS/DISSERTATION)
 Pass with Merit
2003/10/01 - 2005/11/30
Concluded
 Engenharia Electrotécnica e de Computadores (Mestrado)
Major in Redes e Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Resolução distribuída de interacções de serviços na Internet" (THESIS/DISSERTATION)
 5
1999/09/01 - 2000/07/31
Concluded
 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
Concluded
 Ciências de Engenharia - Engenharia Electrotécnica e de Computadores (Licenciatura)
Major in 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" (THESIS/DISSERTATION)
 15
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2008/06/01 - Current Adjunct Teacher (Polytechnic Teacher) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
2002/10/01 - 2008/05/31 Assistant (Polytechnic Teacher) Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
1997/01/01 - 1997/06/30 Tutor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Positions / Appointments

Category
Host institution 		Employer
2011/01/01 - Current Vice-President 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, Brazil
1997/08/01 - 1999/08/31 Arquitecto de Software SSF Easysoft, Portugal
Projects

Contract

Designation Funders
2020/10/01 - 2021/09/30 WebFluid - Reactive Web streams for Big Data
IDI&CA-2020-WebFluid
Principal investigator
Instituto Politécnico de Lisboa, Portugal
 Instituto Politécnico de Lisboa
Concluded
2009/10/01 - 2013/09/30 RuLAM: Running Legacy Applications on Multicores
PTDC/EIA-EIA/108240/2008
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
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
Concluded
2007/10/01 - 2008/09/30 Detecting Feature Interactions as Security Threats
PDTC/EEA-ELC/66472/2006
Researcher
Universidade de Lisboa Instituto Superior Técnico, Portugal
Concluded

Other

Designation Funders
2015/01/01 - 2018/12/31 HtmlFlow - HtmlFlow Java DSL to write typesafe HTML - https://github.com/xmlet/HtmlFlow
ccisel-2015-07
Technical development
Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa, Portugal
Concluded
Outputs

Publications

Book
  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
Book chapter
  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
Conference paper
  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". Paper presented in Multiprog-2012, Paris, 2012.
    Published
  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". Paper presented in IADIS International Conference WWW/Internet 2005, Lisbon, 2005.
    Published
Journal article
  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
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2012 Objects with adaptive accessors to avoid STM barriers TM Workshop on Transactional Memory (WTM 2012)
Eurosys (Berna, Switzerland)

Consulting

Activity description Institution / Organization
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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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
Distinctions

Award

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