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

Personal identification

Full name
GIANN CARLOS NANDI

Citation names

  • SPILERE NANDI, GIANN

Author identifiers

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

Email addresses

  • giann@isep.ipp.pt (Professional)

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Spanish; Castilian Intermediate (B1) Upper intermediate (B2) Beginner (A1) Upper intermediate (B2)
Galician Elementary (A2) Intermediate (B1) Beginner (A1) Upper intermediate (B2)
Education
Degree Classification
2018/09 - 2023/09
Ongoing
 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" (THESIS/DISSERTATION)
 17,38 / 20,00
2012/03 - 2018/02
Concluded
 Computer Engineering & Electronic Product Design and Engineering (Licenciatura)
Universidade Federal de Santa Catarina, Brazil

Hanzehogeschool Groningen, Netherlands
"Verificação Formal de Protocolos de Segurança Voltados à Redes de Sensores Sem Fio" (THESIS/DISSERTATION)
 8,03 / 10,00
2010/02 - 2011/11
Concluded
 Informatics (Curso de Especialização Tecnológica)
Associação Beneficente da Indústria Carbonífera de Santa Catarina, Brazil
 8,43 / 10,00
Affiliation

Science

Category
Host institution 		Employer
2015/02 - 2015/06 Research Trainee (Research) EnTranCe, Netherlands
EnTranCe, Netherlands

Teaching in Higher Education

Category
Host institution 		Employer
2021/10 - Current Invited Assistant (Polytechnic Teacher) 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 Invited Assistant (Polytechnic Teacher) 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 Visiting Teacher (Polytechnic Teacher) Faculdade do Vale do Araranguá (FVA), Brazil
Faculdade do Vale do Araranguá (FVA), Brazil

Others

Category
Host institution 		Employer
2018/07/13 - Current 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, Brazil
Universidade Federal de Santa Catarina, Brazil
2013/08 - 2014/07 Research Fellow Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brazil
Universidade Federal de Santa Catarina, Brazil
2012/08 - 2013/07 Research Fellow Conselho Nacional de Desenvolvimento Científico e Tecnológico, Brazil
Universidade Federal de Santa Catarina, Brazil
Projects

Grant

Designation Funders
2020/05/01 - Current VALU3S - Verification and Validation of Automated Systems' Safety and Security
ECSEL JU Grant nr. 876852
Research Fellow
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
Ongoing

Other

Designation Funders
2019/03 - 2021/01/17 REASSURE - Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-01-0145-FEDER-028550
Research Fellow
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
Ongoing
Outputs

Publications

Book chapter
  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
Conference paper
  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". Paper presented in 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.
    Accepted • 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". Paper presented in Computer on the Beach, Florianópolis, 2014.
    Published
  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". Paper presented in Computer on the Beach, Florianópolis, 2014.
    Published
  7. Fernando Emilio Puntel; SPILERE NANDI, GIANN; Joildo Schueroff; Anderson Luiz Fernandes Perez. "Desenvolvimento de um Robô Explorador para Ambientes Indoor". Paper presented in 2º Simpósio de Integração Científica do Sul Catarinense, Criciúma, 2013.
    Published
  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". Paper presented in X Latin American Robotics Symposium, Arequipa, 2013.
    Published
Journal article
  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
Magazine article
  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.

Other

Other output
  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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Finland)
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)

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2021/03/25 - 2021/03/25 VALU3S Project 1st Training Session (2021/03/25 - 2021/03/25)
Other (Co-organisor)
 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)
Other (Member of the Organising Committee)
 Universidade Federal de Santa Catarina, Brazil
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)
Other (Member of the Organising Committee)
 Centro Universitário da FEI, Brazil

Sociedade Brasileira de Computação, Brazil

Sociedade Brasileira de Automática, Brazil

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2020/12/01 - 2020/12/04 IEEE Real-Time Systems Symposium (RTSS 2020)
Conference
 IEEE Real-Time Systems Symposium (RTSS)
IEEE, United States
2020/11/30 - 2020/12/04 Runtime Verification Lectures at the 17th International Colloquium on Theoretical Aspects of Computing
Other
 17th International Colloquium on Theoretical Aspects of Computing
University of Macau, Macau SAR China

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

Committee member

Activity description
Role 		Institution / Organization
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).
Other
 Universidade do Porto Faculdade de Engenharia, Portugal

Course / Discipline taught

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

Interview (newspaper / magazine)

Activity description Newspaper / 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

Other jury / evaluation

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

Instituto Politécnico de Coimbra, Portugal

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

IEEE, United States
Distinctions

Award

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

Universidade Federal de Santa Catarina, Brazil

Other distinction

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