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

Personal identification

Full name
João Pedro Gonçalves Crespo Craveiro

Citation names

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

Author identifiers

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

Email addresses

  • joao.craveiro@ulusofona.pt (Professional)

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Telecommunications

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Spanish; Castilian Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
French Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2) Elementary (A2)
German Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2014/06/02
Concluded
Informática (Doutoramento)
Major in Especialidade: Engenharia Informática
Universidade de Lisboa Faculdade de Ciências, Portugal
""Real-Time Scheduling in Multicore Time - and Space-Partitioned Architectures"" (THESIS/DISSERTATION)
2009/09/22
Concluded
Engenharia Informática (Mestrado)
Major in Arquiteturas de Sistemas e Redes de Computadores
Universidade de Lisboa Faculdade de Ciências, Portugal
18
2007/07
Concluded
Engenharia Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
18
Affiliation

Teaching in Higher Education

Category
Host institution
Employer
2014/10 - 2017/07 Assistant Professor (University Teacher) Universidade Lusófona de Humanidades e Tecnologias, Portugal
2013/09 - 2014/09 Assistant (University Teacher) Universidade Lusófona de Humanidades e Tecnologias, Portugal
2011/09 - 2012/08 Tutor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Others

Category
Host institution
Employer
2021/10 - Current 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, United Kingdom
2014/02 - 2017/04 Gestor de produto e programador (setor privado) Premium Minds, Portugal
Projects

Contract

Designation Funders
2013/06 - 2014/01 READAPT - Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications
Research Fellow
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.
Research Fellow
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
Research Fellow
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2008/01 - 2010/12 AIR-II, ARINC 653 in Space RTOS - Industrial Initiative
Research Fellow
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2005/03 - 2008/02 DARIO - Distributed Agency for Reliable Input/Output
Research Fellow
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.
Research Fellow
LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Outputs

Publications

Book
  1. Craveiro, João. The Platform Business Strategy: a Practical Guide for Busy Product Leaders. 2022.
    Published
Book chapter
  1. Rufino, J.; Craveiro, João; Verissimo, P.. "Architecting robustness and timeliness in a new generation of aerospace systems". 2010.
    Published • 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.
    Published • 10.1007/978-3-642-16256-5_18
Conference paper
  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
Journal article
  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.
Report
  1. Craveiro, Joao Pedro; Rufino, Jose. 2012. Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors.
    10455/6891
Thesis / Dissertation
  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". PhD, 2014. http://hdl.handle.net/10451/11310.
  3. Costa, Pedro Nuno Pereira Nóbrega da. "Safety Kernel for cooperative sensor-based systems". Master, 2013. http://hdl.handle.net/10451/9879.
  4. Silveira, Rui Pedro Ormonde. "Design and implementation of a modular scheduling simulator for aerospace applications". Master, 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". Master, 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". Master, 2009. http://hdl.handle.net/10451/13877.
Activities

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2012 - 2013 Safety Kernel for Cooperative Sensor-Based Systems
Co-supervisor of Pedro Nóbrega da Costa
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012 Design and implementation of a modular scheduling simulator for aerospace applications
Co-supervisor of Rui Ormonde Silveira
Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Course / Discipline taught

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