???global.info.a_carregar???
Giann is a Ph.D. student in the Doctoral Program in Electrical and Computer Engineering of the Faculty of Engineering of the Universidade do Porto and a research fellow at the CISTER Research Centre. Giann's previous education includes a 5-year degree in Computer Engineering, issued by the Universidade Federal de Santa Catarina (one of the top 15 universities of Latin America), and a one-year exchange program at Hanzehogeschool Groningen, specializing in Electronic Product Design and Engineering. The quality of Giann's work as a student and researcher is reflected in his grades (Ph.D. first-year classification: 17+/ 20, B.Sc. classification: 8+/10) and publications, with works on the fields of security and safety of cyber-physical systems accepted at peer-reviewed conferences like INDIN and RTSS. Since July 2018, Giann has been working at the CISTER Research Centre in research activities in national (REASSURE) and international (VALU3S, as dissemination manager) projects in safety-critical systems, formal methods, and security, which are his main areas of interest. Before that, Giann worked previously as a research fellow in Brazil and the Netherlands in projects involving embedded systems and thermodynamic experiments. On top of his research work, Giann also has experience with teaching in higher education, being an invited assistant for the past two years of the Departamento de Engenharia Informática of the Instituto Superior de Engenharia do Porto.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
GIANN CARLOS NANDI

Nomes de citação

  • SPILERE NANDI, GIANN

Identificadores de autor

Ciência ID
0F12-0F3E-06E1
ORCID iD
0000-0002-3206-0599

Endereços de correio eletrónico

  • giann@isep.ipp.pt (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Espanhol; Castelhano Utilizador independente (B1) Utilizador independente (B2) Utilizador elementar (A1) Utilizador independente (B2)
Galego Utilizador elementar (A2) Utilizador independente (B1) Utilizador elementar (A1) Utilizador independente (B2)
Formação
Grau Classificação
2018/09 - 2023/09
Em curso
 Doctoral Program in Electrical and Computer Engineering (Doutoramento)
Universidade do Porto, Portugal
"A Domain-Specific Language for the secure Runtime Monitoring and Verification of Safety-Critical Cyber-Physical Systems" (TESE/DISSERTAÇÃO)
 17,38 / 20,00
2012/03 - 2018/02
Concluído
 Computer Engineering & Electronic Product Design and Engineering (Licenciatura)
Universidade Federal de Santa Catarina, Brasil

Hanzehogeschool Groningen, Países Baixos
"Verificação Formal de Protocolos de Segurança Voltados à Redes de Sensores Sem Fio" (TESE/DISSERTAÇÃO)
 8,03 / 10,00
2010/02 - 2011/11
Concluído
 Informatics (Curso de Especialização Tecnológica)
Associação Beneficente da Indústria Carbonífera de Santa Catarina, Brasil
 8,43 / 10,00
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/02 - 2015/06 Estagiário de Investigação (Investigação) EnTranCe, Países Baixos
EnTranCe, Países Baixos

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/10 - Atual Assistente convidado (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2020/09/03 - 2021/02/28 Assistente convidado (Docente Ensino Superior Politécnico) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2014/05 - 2014/06 Professor Visitante (Docente Ensino Superior Politécnico) Faculdade do Vale do Araranguá (FVA), Brasil
Faculdade do Vale do Araranguá (FVA), Brasil

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/07/13 - Atual Research Fellow Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
2016/03 - 2017/12 Administrative Assistant Universidade Federal de Santa Catarina, Brasil
Universidade Federal de Santa Catarina, Brasil
2013/08 - 2014/07 Research Fellow Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brasil
Universidade Federal de Santa Catarina, Brasil
2012/08 - 2013/07 Research Fellow Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brasil
Universidade Federal de Santa Catarina, Brasil
Projetos

Bolsa

Designação Financiadores
2020/05/01 - Atual VALU3S - Verification and Validation of Automated Systems' Safety and Security
ECSEL JU Grant nr. 876852
Bolseiro de Investigação
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
 Electronic Components and Systems for European Leadership
Em curso

Outro

Designação Financiadores
2019/03 - 2021/01/17 REASSURE - Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550
Bolseiro de Investigação
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Em curso
Produções

Publicações

Artigo em conferência
  1. PROENÇA, JOSÉ; BORRAMI, SINA; SANCHEZ DE NOVA, JORGE; PEREIRA, DAVID; SPILERE NANDI, GIANN. "Verification of multiple models of a safety-critical motor controller in railway systems". Trabalho apresentado em RSSRAIL, Paris, 2022.
  2. Nandi, Giann Spilere; Pereira, David; Proenca, Jose; Tovar, Eduardo. "Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems". 2020.
    Aceite para publicação • 10.1109/rtss49844.2020.00047
  3. Nandi, G.S.; Pereira, D.; Vigil, M.; Moraes, R.; Morales, A.S.; Araujo, G.. "Security in wireless sensor networks: A formal verification of protocols". 2019.
    10.1109/INDIN41052.2019.8972080
  4. Cunha, R.; MacIel, R.; Nandi, G.S.; Daros, M.R.; Cardoso, J.P.; Francis, L.T.; Ramos, V.F.C.; et al. "Applying non-destructive testing and machine learning to ceramic tile quality control". 2018.
    10.1109/SBESC.2018.00017
  5. Joildo Schueroff; Fernando Emilio Puntel; SPILERE NANDI, GIANN; Anderson Luiz Fernandes Perez; Elder Dominghini Tramontin. "Desenvolvimento de um Sistema de Visão Artificial para um Robô Explorador". Trabalho apresentado em Computer on the Beach, Florianópolis, 2014.
    Publicado
  6. Fernando Emilio Puntel; Joildo Schueroff; SPILERE NANDI, GIANN; Anderson Luiz Fernandes Perez. "Avaliação dos Sistemas Operacionais MQX Lite e FreeRTOS em aplicações de Robótica Móvel". Trabalho apresentado em Computer on the Beach, Florianópolis, 2014.
    Publicado
  7. Fernando Emilio Puntel; SPILERE NANDI, GIANN; Joildo Schueroff; Anderson Luiz Fernandes Perez. "Desenvolvimento de um Robô Explorador para Ambientes Indoor". Trabalho apresentado em 2º Simpósio de Integração Científica do Sul Catarinense, Criciúma, 2013.
    Publicado
  8. Anderson Luiz Fernandes Perez; Fernando Emilio Puntel; SPILERE NANDI, GIANN; Joildo Schueroff; Elder Dominghini Tramontin. "Desenvolvimento de um Robô Explorador Baseado em uma Arquitetura Híbrida de Hardware". Trabalho apresentado em X Latin American Robotics Symposium, Arequipa, 2013.
    Publicado
Artigo em revista
  1. Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar; Antonio Rodriguez; Pablo Garrido. "Secure integration of extremely resource-constrained nodes on distributed ROS2 applications". Open Research Europe (2023): https://doi.org/10.12688/openreseurope.16108.1.
    10.12688/openreseurope.16108.1
Artigo em revista (magazine)
  1. Anderson Luiz Fernandes Perez; Fernando Emilio Puntel; NANDI, GIANN; Joildo Schueroff; Elder Dominghini Tramontin. "Avaliação do Sistema Computacional de um Robô Explorador", Revista Junior de Iniciação Científica em Ciências Exatas e Engenharia, 2014, http://www.icceeg.c3.furg.br/components/download_categoria/baixar.php?arquivo=168908dd3227b8358eababa07fcaf091.
Capítulo de livro
  1. José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi. "Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems". 2022.
    10.1007/978-3-031-05814-1_6
  2. de la Vara, Jose Luis; Bauer, Thomas; Fischer, Bernhard; Karaca, Mustafa; Madeira, Henrique; Matschnig, Martin; Mazzini, Silvia; et al. "A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems". In Quality of Information and Communications Technology, 325-340. Portugal: Springer International Publishing, 2021.
    10.1007/978-3-030-85347-1_24

Outros

Outra produção
  1. Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS. Safety-critical systems commonly face unpredictable and hostile environments, with emergent behaviors and with a growing number of external, malicious attackers. These are risk factors that should be taken into account during these systems design phases, but that is not always possible due to the overall complexity of the interaction between the systems and its external operational environment. Cy. 2019. Nandi, Giann. http://hdl.handle.net/10400.22/15307.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021/03/25 Runtime Verification Based on Formal Specifications VALU3S - 1st Training Session
Instituto Superior de Engenharia do Porto
2020/12/03 A DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems 40th IEEE Real-Time Systems Symposium
IEEE Computer Society Technical Committee on Real-Time Systems
2019/07/23 Security in wireless sensor networks: A formal verification of protocols IEEE International Conference on Industrial Informatics (INDIN’19)
Institute of Electrical and Electronics Engineers (Helsinki, Finlândia)
2019/06/27 Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS 3rd Doctoral Congress in Engineering
Universidade do Porto (Porto, Portugal)

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021/03/25 - 2021/03/25 VALU3S Project 1st Training Session (2021/03/25 - 2021/03/25)
Outro (Coorganizador)
 Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2016/08/16 - 2016/08/18 1st Integrated Academic Week of Computing and Health of the Universidade Federal de Santa Catarina: main activities involved the media coverage of the event and managing the miscellaneous issues faced during the three days of event. (2016/08/16 - 2016/08/18)
Outro (Membro da Comissão Organizadora)
 Universidade Federal de Santa Catarina, Brasil
2013/08/10 - 2013/08/10 Brazilian Robotic Olympics (Santa Catarina phase): main activities involved setting up the arenas for the competition and managing the schedule throughout the day of competition. (2013/08/10 - 2013/08/10)
Outro (Membro da Comissão Organizadora)
 Centro Universitário da FEI, Brasil

Sociedade Brasileira de Computação, Brasil

Sociedade Brasileira de Automática, Brasil

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2020/12/01 - 2020/12/04 IEEE Real-Time Systems Symposium (RTSS 2020)
Conferência
 IEEE Real-Time Systems Symposium (RTSS)
IEEE, Estados Unidos
2020/11/30 - 2020/12/04 Runtime Verification Lectures at the 17th International Colloquium on Theoretical Aspects of Computing
Outro
 17th International Colloquium on Theoretical Aspects of Computing
University of Macau, Macau

Høgskulen på Vestlandet, Noruega
2020/08/03 - 2020/08/21 Summer School on Programming Languages and Verification (SPLV20).
Outro
 Scottish Programming Languages and Verification Summer School 2020
The University of Edinburgh, Reino Unido
2019/06/26 - 2019/06/27 5ª Conferência Internacional de Cibersegurança (C-Days 2019)
Conferência
 5ª Conferência Internacional de Cibersegurança (C-Days 2019)
Centro Nacional de Cibersegurança de Portugal, Portugal

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022/03 - 2022/07 Sistemas de Informação I Engenharia de Sistemas (Licenciatura) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2021/10 - 2022/02 Arquitectura de Computadores Engenharia Informática (Licenciatura) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2020/09/09 - 2021/02/28 Algoritmia e Programação - Práticas Engenharia Mecânica (Licenciatura) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Entrevista (jornal / revista)

Descrição da atividade Jornal / Forum
2019/06/21 Interview related to the peer-reviewed full paper that I published at the IEEE International Conference on Industrial Informatics, INDIN’19. Engeplus

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2021/03/23 - 2021/05/29 Member of the Technical Program Committee of the "Electrical and Computer Engineering” symposium hosted at the 4th Doctoral Congress Engineering (DCE21).
Outro
 Universidade do Porto Faculdade de Engenharia, Portugal

Outro júri / avaliação

Descrição da atividade Instituição / Organização
2021/03/26 - 2021/04/06 Subreviewer at 7th International Workshop on Safety and Security of Intelligent Vehicles Université Fédérale Toulouse Midi-Pyrénées, França

Instituto Politécnico de Coimbra, Portugal

Universidade de São Paulo, Brasil
2020/12/03 - 2020/12/07 Subreviewer at the 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS2021). Association for Computing Machinery, Estados Unidos

IEEE, Estados Unidos
Distinções

Prémio

2013 Outstanding Work
Instituto Federal de Educação Ciência e Tecnologia de Santa Catarina, Brasil

Universidade Federal de Santa Catarina, Brasil

Outra distinção

2017 Academic Performance
Universidade Federal de Santa Catarina, Brasil
2017 Academic Performance
Universidade Federal de Santa Catarina, Brasil