???global.info.a_carregar???
João Craveiro tem uma licenciatura, mestrado e doutoramento em (Engenharia) Informática pela Faculdade de Ciências, Universidade de Lisboa. É atualmente Professor Auxiliar na Universidade Lusófona (2013–2017, 2023—...). Foi Monitor no Departamento de Informática do Faculdade de Ciências. É desde 2015 gestor de produtos tecnológicos — atualmente na empresa Remote, e anteriormente em empresas como Farfetch, Onfido, e Premium Minds.
Identificação

Identificação pessoal

Nome completo
João Pedro Gonçalves Crespo Craveiro

Nomes de citação

  • Craveiro, João
  • Craveiro, João Pedro

Identificadores de autor

Ciência ID
6412-888B-4DBB
ORCID iD
0000-0002-6017-5190

Endereços de correio eletrónico

  • joao.craveiro@ulusofona.pt (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Telecomunicações

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)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2) Utilizador elementar (A2)
Alemão Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2014/06/02
Concluído
 Informática (Doutoramento)
Especialização em Especialidade: Engenharia Informática
Universidade de Lisboa Faculdade de Ciências, Portugal
""Real-Time Scheduling in Multicore Time - and Space-Partitioned Architectures"" (TESE/DISSERTAÇÃO)
2009/09/22
Concluído
 Engenharia Informática (Mestrado)
Especialização em Arquiteturas de Sistemas e Redes de Computadores
Universidade de Lisboa Faculdade de Ciências, Portugal
 18
2007/07
Concluído
 Engenharia Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
 18
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2014/10 - 2017/07 Professor Auxiliar (Docente Universitário) Universidade Lusófona de Humanidades e Tecnologias, Portugal
2013/09 - 2014/09 Assistente (Docente Universitário) Universidade Lusófona de Humanidades e Tecnologias, Portugal
2011/09 - 2012/08 Monitor (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/10 - Atual Gestor de produto (setor privado) Remote Tech Unipessoal Lda, Portugal
2019/10 - 2021/10 Gestor de produto (setor privado) Farfetch, Portugal
2017/05 - 2019/10 Gestor de produto (setor privado) Onfido, Reino Unido
2014/02 - 2017/04 Gestor de produto e programador (setor privado) Premium Minds, Portugal
Projetos

Projeto

Designação Financiadores
2013/06 - 2014/01 READAPT - Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications
PTDC/EEI-SCR/3200/2012
Bolseiro de Investigação
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
2011/10 - 2014/01 KARYON, Kernel-Based Architecture for Safety-Critical Control.
url
Bolseiro de Investigação
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2012/01 - 2013/12 SAPIENT, Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems
url
Bolseiro de Investigação
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2008/01 - 2010/12 AIR-II, ARINC 653 in Space RTOS - Industrial Initiative
url
Bolseiro de Investigação
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2005/03 - 2008/02 DARIO - Distributed Agency for Reliable Input/Output
POSC/EIA/56041/2004
Bolseiro de Investigação
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
2006/09 - 2007/02 AIR, ARINC 653 Interface in RTEMS.
url
Bolseiro de Investigação
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Produções

Publicações

Artigo em conferência
  1. Rosa, J.; Craveiro, J.; Rufino, J.. "Adaptability and survivability in spaceborne time- and space-Partitioned systems". 2011.
    10.1109/EUROCON.2011.5929258
  2. Rufino, J.; Craveiro, J.; Schoofs, T.; Cristovao, J.; Santos, S.; Tatibana, C.. "AIR: Technology innovation for future spacecraft onboard computing systems". 2011.
    10.1109/EUROCON.2011.5929321
  3. Craveiro, Joao Pedro; Rufino, Jose. "Schedulability Analysis in Partitioned Systems for Aerospace Avionics". 2010.
    10.1109/ETFA.2010.5641243
Artigo em revista
  1. Craveiro, João; Rufino, José; Singhoff, Frank. "Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems". ACM SIGBED Review 8 3 (2011): 23-27. http://dx.doi.org/10.1145/2038617.2038622.
    10.1145/2038617.2038622
  2. Craveiro, Joao Pedro; Rufino, Jose; Singhoff, Frank. "Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems". ACM SIGBED Review 8 3 (2011):
    10.1145/2038617.2038622
  3. Rosa, Joaquim; Craveiro, Joao; Rufino, Jose; IEEE. "Safe Online Reconfiguration of Time- and Space-Partitioned Systems". 2011 9th Ieee International Conference on Industrial Informatics (Indin) (2011):
    10.1109/INDIN.2011.6034932
  4. João Craveiro; José Rufino; Carlos Almeida; Rui Covelo; Pedro Venda; Craveiro, J.; Rufino, J.; et al. "Embedded Linux in a partitioned architecture for aerospace applications". (2009): 132-138. http://hdl.handle.net/10451/15016.
    10.1109/AICCSA.2009.5069315
  5. José Rufino; João Craveiro; T. Schoofs; C. Tatibana; J. Windson; Rufino, J.; Craveiro, J.; et al. "AIR Technology: a step towards ARINC 653 in space". (2009): http://hdl.handle.net/10451/14815.
  6. João Craveiro; José Rufino; Tobias Schoofs; James Windsor. "Flexible Operating System Integration in Partitioned Aerospace Systems". (2009): http://hdl.handle.net/10451/15012.
  7. José Rufino; João Craveiro. "Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems". (2008): http://hdl.handle.net/10451/14336.
Capítulo de livro
  1. Rufino, J.; Craveiro, João; Verissimo, P.. "Architecting robustness and timeliness in a new generation of aerospace systems". 2010.
    Publicado • 10.1007/978-3-642-17245-8_7
  2. Rufino, J.; Craveiro, João; Verissimo, P.. "Building a time- and space-partitioned architecture for the next generation of space vehicle avionics". 2010.
    Publicado • 10.1007/978-3-642-16256-5_18
Livro
  1. Craveiro, João. The Platform Business Strategy: a Practical Guide for Busy Product Leaders. 2022.
    Publicado
Relatório
  1. Craveiro, Joao Pedro; Rufino, Jose. 2012. Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors.
    10455/6891
Tese / Dissertação
  1. "Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures". 2014.
    10451/11310
  2. Craveiro, João Pedro Gonçalves Crespo, 1984-. "Real-time scheduling in multicore : time- and space-partitioned architectures". Doutoramento, 2014. http://hdl.handle.net/10451/11310.
  3. Costa, Pedro Nuno Pereira Nóbrega da. "Safety Kernel for cooperative sensor-based systems". Mestrado, 2013. http://hdl.handle.net/10451/9879.
  4. Silveira, Rui Pedro Ormonde. "Design and implementation of a modular scheduling simulator for aerospace applications". Mestrado, 2012. http://hdl.handle.net/10451/9084.
  5. Craveiro, João Pedro Gonçalves Crespo; Craveiro, Joao Pedro. "Integration of generic operating systems in partitioned architectures". Mestrado, 2009. http://hdl.handle.net/10451/4452.
    10455/3260
  6. Craveiro, João Pedro Gonçalves Crespo. "INTEGRATION OF GENERIC OPERATING SYSTEMS IN PARTITIONED ARCHITECTURES". Mestrado, 2009. http://hdl.handle.net/10451/13877.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2012 - 2013 Safety Kernel for Cooperative Sensor-Based Systems
Coorientador de Pedro Nóbrega da Costa
 Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012 Design and implementation of a modular scheduling simulator for aerospace applications
Coorientador de Rui Ormonde Silveira
 Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2013/09 - 2017/07 Arquiteturas Avançadas de Computadores (Licenciatura) Universidade Lusófona de Humanidades e Tecnologias, Portugal
2013/09 - 2017/07 Redes de Computadores (Licenciatura) Universidade Lusófona de Humanidades e Tecnologias, Portugal