???global.info.a_carregar???
DAVID MIGUEL RAMALHO PEREIRA. Completed the Doutoramento in MAP-i Doctoral Program in Computer Science: Universities of Minho, Aveiro, and Porto in 2013 by Universidade do Porto Faculdade de Ciências, Doutoramento in MAP-i Doctoral Program in Computer Science: Universities of Minho, Aveiro, and Porto in 2013 by Universidade do Minho, Mestrado in Mestrado em Informática in 2007 by Universidade do Porto Faculdade de Ciências and Licenciatura in Licenciatura em Ciência de Computadores - Ramos Científico in 2003 by Universidade do Porto Faculdade de Ciências. Is Auxiliary Researcher in Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Invited Assistant Professor in Universidade do Porto Faculdade de Ciências and Principal Investigator in CoLAB VORTEX. Published 8 articles in journals. Has 2 section(s) of books and 4 book(s). Organized 6 event(s). Supervised 1 PhD thesis(es). Supervised 2 MSc dissertation(s) e co-supervised 1. Has received 2 awards and/or honors. Participates and/or participated as Other in 3 project(s), PhD Student Fellow in 2 project(s), Principal investigator in 1 project(s) and Research Fellow in 4 project(s). Works in the area(s) of Exact Sciences with emphasis on Computer and Information Sciences with emphasis on Computer Sciences, Exact Sciences with emphasis on Computer and Information Sciences with emphasis on Computer Sciences and Exact Sciences with emphasis on Computer and Information Sciences. In his curriculum Ciência Vitae the most frequent terms in the context of scientific, technological and artistic-cultural output are: Tools; Automata; Analytical models; Safety; System recovery; Complex systems; Model checking; Runtime verification; Metric temporal logic; Durations; Resource model; Hard real time system; Polynomial inequality; Schedulability analysis; Real-time systems; Resource models; Timed temporal logic; Ciências Naturais::Ciências da Computação e da Informação; Science & Technology; Concurrency control; Multi-threading; Program verification; Resource allocation; IEC 61499; Industrial automation; Run-Time Monitoring; Run-Time Verification; Safety Critical Systems; Ada; Monitors; Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática; Schedulability Analysis; Real-time Systems; Temporal logic; Compositional; Hard Real-Time Systems; Embedded Systems; Formal Verification; Concurrent Real-time Systems; Ciências da computação e da informação; Computer and information sciences; Ciências exactas e naturais::Ciências da computação e da informação; Natural sciences::Computer and information sciences; Cyber-Physical Systems; Runtime Verification; Wireless Sensor Networks; Automotive; Smart Farming; Avionics; Domain Specific Languages; Cybersecurity; Deductive Verification; Static Verification; Functional Programming; Formal Logic; Verification & Validation; Concurrency; Real-Time Systems; Kleene Algebra; Kleene Algebra with Tests; autonomous systems; verification & validation; multicore processors; Computer Science and Engineering - Computer Science; computation complexity; satisfiability modulo theor; SPARK; cryptography; compilers; decision procedures; High-Performance Computing; Computing Systems Architectures; Reliable Software; Programming Languages; Industry4.0; Smart Cities; Multicore Systems; Mixed-Criticalities; Ciências da Computação e Inteligência Artificial; Robótica e Sistemas Ciber-Físicos; Computação Sustentável; Materiais; Fabrico e Serviços Inteligentes; Sistemas de Tempo Real; Sistemas Computacionais Embebidos; Sistemas Cíber-Físicos; Redes de Sensores sem Fios; Sistema Embebidos; Verificação Formal e Proof Carrying Code; Sistema de Tipos e Analise Estáticas de Programas ; Desenho de Linguagens e Compilação; .
Read full resume ↓
Identification

Personal identification

Full name
DAVID MIGUEL RAMALHO PEREIRA

Citation names

  • PEREIRA, DAVID

Author identifiers

Ciência ID
2514-CB51-2E9A
ORCID iD
0000-0002-7561-6649
Google Scholar ID
https://scholar.google.com/citations?user=4880402638920338091=en&authuser=1&user=Xmuoc_IAAAAJ
Researcher Id
M-4220-2016
Scopus Author Id
56185089900

Email addresses

  • david.pereira@vortex-colab.com (Professional)
  • david.pereira@vortex-colab.com (Professional)

Addresses

  • CISTER Research Unit ISEP/IPP. Rua Dr. António Bernardino de Almeida 431, 4200-072 , Porto, Porto, Portugal (Professional)

Websites

  • www.vortex-colab.com (Professional)

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2013
Concluded
 MAP-i Doctoral Program in Computer Science: Universities of Minho, Aveiro, and Porto (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Minho, Portugal
"Towards Certified Logics for the Verification of Imperative Programs" (THESIS/DISSERTATION)
 Aprovado com Distinção
2007
Concluded
 Mestrado em Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Modelação Lógica de Agentes BDI Dotados de Emoções Artificiais" (THESIS/DISSERTATION)
 Muito Bom
2003
Concluded
 Licenciatura em Ciência de Computadores - Ramos Científico (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"n/a" (THESIS/DISSERTATION)
 14
Affiliation

Science

Category
Host institution 		Employer
2024/09/27 - Current Principal Investigator (Research) CoLAB VORTEX, Portugal
CoLAB VORTEX, Portugal
2019/02/01 - Current Auxiliary Researcher (Research) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Research Centre on Real-Time Embedded Computing Systems, Portugal
2014 - 2019 Science and Technology Management Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
2013/04/15 - 2014/01/31 Postdoc (Research) Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Research Centre on Real-Time Embedded Computing Systems, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2023/09 - Current Invited Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2017/03/01 - 2022 Invited Adjunct Teacher (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
2013 - 2014 Invited Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
2010/09/01 - 2011/07/01 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
2003/09/01 - 2008/07/01 Tutor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2019 - 2024 Member of the Scientific Council CoLAB VORTEX, Portugal

Others

Category
Host institution 		Employer
2018 - 2024/07 Member of the Board of Directors Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Projects

Grant

Designation Funders
2021/01 - 2025/12 Laboratório Associado de Sistemas Inteligentes
168241UID
LA/P/0104/2020
10.54499/LA/P/0104/2020
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal

Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Minho, Portugal

Universidade do Porto Centro de Matemática, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade Nova de Lisboa, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho Instituto de Polímeros e Compósitos, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal

Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade de Coimbra Departamento de Engenharia Civil, Portugal

Universidade de Coimbra, Portugal

Instituto Politécnico do Porto Grupo de Investigação em Engenharia e Computação Inteligente para a Inovação e o Desenvolvimento, Portugal

Instituto Politécnico do Cávado e do Ave, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2020 - 2023 VALU3S - Verification and Validation of Automated Systems’ Safety and Security
ECSEL JU Grant nr. 876852
Other
Research Centre on Real-Time Embedded Computing Systems, Portugal

RISE Research Institutes of Sweden AB, Sweden
EU Framework Programme for Research and Innovation Euratom

Fundação para a Ciência e a Tecnologia
Ongoing
2016/04 - 2019/06 SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
ECSEL JU Grant nr. 692529-2 ECSEL/0002/2015
Research Fellow
Research Centre on Real-Time Embedded Computing Systems, Portugal
 EU Framework Programme for Research and Innovation Euratom

Fundação para a Ciência e a Tecnologia
Concluded
2016/05 - 2019/05 ENABLE-S3 - European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
ECSEL JU Grant nr. 692455-2 ECSEL/0006/2015
Research Fellow
Research Centre on Real-Time Embedded Computing Systems, Portugal
 EU Framework Programme for Research and Innovation Euratom

Fundação para a Ciência e a Tecnologia
Concluded
2014/04 - 2017/06 EMC² - Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
JU grant nr. 621429 | ARTEMIS/0001/2013
Research Fellow
Research Centre on Real-Time Embedded Computing Systems, Portugal
 Fundação para a Ciência e a Tecnologia

Artemis Industry Association
Concluded
2013/05 - 2016/04 CONCERTO - Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
JU grant nr. 333053 ARTEMIS/0003/2012
Research Fellow
Research Centre on Real-Time Embedded Computing Systems, Portugal
 Fundação para a Ciência e a Tecnologia

Artemis Industry Association
Concluded
2011/02 - 2014/06 Virtual Processor-based Multicore Scheduling (ViPCore)
grant.Provided by PTCRIS: 111799
 Stichting Weten
2010/05/01 - 2013 CANTE: Descriptional and computational complexity of formal languages
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/101904/PT
PhD Student Fellow
Universidade do Porto Faculdade de Ciências, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/02/01 - 2013 FAVAS: A FormAl Verification PlAtform for real-time Systems
info:eu-repo/grantAgreement/FCT/3599-PPCDT/105034/PT
PhD Student Fellow
Universidade do Algarve Faculdade de Ciências e Tecnologia
Concluded
2008/01 - 2011/03 RESCUE, REliable and Safe Code execUtion for Embedded systems
grant.Provided by PTCRIS: 65862
 Stichting Weten

Contract

Designation Funders
2022 - 2025 Route 25 - Agenda for Autonomous, Intelligent, Interoperable and Inclusive Mobility
02/C05-i01.01/2022.PC645463824-00000063
ISEP Responsible
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Agência para a Competitividade e Inovação IP
Ongoing
2021 - 2025 Aero.Next Portugal
02/C05-i01.01/2022.PC645727867-00000066
Member of ISEP team
CEiiA, Portugal
 Agência para a Competitividade e Inovação IP
Ongoing
2018/06 - 2021/05 Secure Runtime Verification for Reliable Real-Time Embedded Software
PTDC/EEI-COM/28550/2017
Principal investigator
Research Centre on Real-Time Embedded Computing Systems, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2019/12/31 Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real
UID/CEC/04234/2019
Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2014/04/01 - 2017/06/30 Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments
ARTEMIS/0001/2013
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2008/01/01 - 2011/03/31 RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Universidade do Minho, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade da Beira Interior, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Nelissen, G.; Pereira, D.; Pinho, L.M.. A novel run-time monitoring architecture for safe and efficient inline monitoring. 2015.
    10.1007/978-3-319-19584-1_5
  2. Pedro, A.M.; Pereira, D.; Pinho, L.M.; Pinto, J.S.. Monitoring for a decidable fragment of mtl-¿. 2015.
    10.1007/978-3-319-23820-3_11
  3. De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.; Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge Sousa. Towards a runtime verification framework for the Ada programming language. Springer. 2014.
    10.1007/978-3-319-08311-7_6
  4. De Matos Pedro, A.; Pereira, D.; Pinho, L.M.; Pinto, J.S.; Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge Sousa. A compositional monitoring framework for hard real-time systems. Springer. 2014.
    10.1007/978-3-319-06200-6_2
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". 83-94. Springer International Publishing, 2022.
    10.1007/978-3-031-05814-1_6
  2. Rooker, M.; López, J. F.; Horstrand, P.; Pusenius, M.; Leppälampi, T.; Lattarulo, R.; Pérez, J.; et al. "Validation of Automated Farming". In Validation and Verification of Automated Systems, 271-295. Springer International Publishing, 2019.
    Published • 10.1007/978-3-030-14628-3_20
Conference paper
  1. andré de matos pedro; Martin Leucker; PEREIRA, DAVID; Jorge Sousa Pinto. "Real-time MTL with durations as SMT with applications to schedulability analysis". Paper presented in TASE 2020 - The 14th International Symposium on Theoretical Aspects of Software Engineering, Hangzhou, 2020.
    Accepted
  2. 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
  3. PEREIRA, DAVID. "Formal Verification of AADL Models Using UPPAAL". 2017.
    10.1109/SBESC.2017.22
  4. Kochanthara, S.; Nelissen, G.; Pereira, D.; Purandare, R.. "REVERT: Runtime Verification for Real-Time Systems". 2017.
    10.1109/RTSS.2016.044
  5. Blech, J.O.; Lindgren, P.; Pereira, D.; Vyatkin, V.; Zoitl, A.. "A Comparison of Formal Verification Approaches for IEC 61499". 2016.
    10.1109/ETFA.2016.7733636
  6. Pereira, David; Pinho, Luís Miguel; Lindgren, Per; Lindner, Marcus; Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Towards Certified Compilation of RTFM-core Applications". 2016.
    10.1109/ETFA.2016.7733551
  7. Pedro, André; Pereira, David; Pinho, Luís Miguel; Sousa Pinto, Jorge; Pedro, André Matos; Pinto, Jorge Sousa. "SMT-based Schedulability Analysis using RMTL- R". 2016.
    10.1145/3166227.3166234
  8. Pereira, David; Pinho, Luís Miguel; Lindgren, Per; Lindner, Marcus; Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "Contract Based Verification of IEC 61499". 2016.
    10.1109/INDIN.2016.7819147
  9. Lindgren, P.; Fresk, E.; Lindner, M.; Lulea, A.L.; Pereira, D.; Pinho, L.M.. "Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs". 2015.
  10. Lindgren, P.; Lindner, M.; Pereira, D.; Pinho, L.M.. "A Formal Perspective on IEC 61499 Execution Control Chart Semantics". 2015.
    10.1109/Trustcom.2015.647
  11. Lindgren, P.; Eriksson, J.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "Response time for IEC 61499 over Ethernet". 2015.
    10.1109/INDIN.2015.7281907
  12. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "RTFM-core: Language and implementation". 2015.
    10.1109/ICIEA.2015.7334252
  13. Lindgren, P.; Lindner, M.; Lindner, A.; Vyatkin, V.; Pereira, D.; Pinho, L.M.. "A real-time semantics for the IEC 61499 standard". 2015.
    10.1109/ETFA.2015.7301558
  14. Lindgren, P.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "Well-formed control flow for critical sections in RTFM-core". 2015.
    10.1109/INDIN.2015.7281944
  15. Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel. "A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring". 2015.
  16. Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel. "Run-time Monitoring Architecture for RealTime Systems". 2015.
  17. PEREIRA, DAVID. "Deciding regular expressions (in-)equivalence in Coq". 2012.
    10.1007/978-3-642-33314-9_7
  18. PEREIRA, DAVID. "Partial derivative automata formalized in coq". 2011.
    10.1007/978-3-642-18098-9_7
  19. PEREIRA, DAVID. "Formal modelling of emotions in BDI agents". 2008.
    10.1007/978-3-540-88833-8-4
  20. PEREIRA, DAVID. "Towards an Architecture for Emotional BDI Agents". 2005.
    10.1109/EPIA.2005.341262
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
  2. Li, K.; Ni, W.; Emami, Y.; Shen, Y.; Severino, R.; Pereira, D.; Tovar, E.. "Design and implementation of secret key agreement for platoon-based vehicular cyber-physical systems". ACM Transactions on Cyber-Physical Systems 4 2 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85075638537&partnerID=MN8TOARS.
    10.1145/3365996
  3. de Matos Pedro, A.; Pinto, J.S.; Pereira, D.; Pinho, L.M.; Pedro, André de Matos; Sousa Pinto, Jorge; Pereira, David; et al. "Runtime verification of autopilot systems using a fragment of MTL-¿". International Journal on Software Tools for Technology Transfer (2017): 1-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-85028004115&partnerID=MN8TOARS.
    10.1007/s10009-017-0470-5
  4. Lindgren, P.; Eriksson, J.; Lindner, M.; Lindner, A.; Pereira, D.; Pinho, L.M.. "End-to-End Response Time of IEC 61499 Distributed Applications over Switched Ethernet". IEEE Transactions on Industrial Informatics 13 1 (2017): 287-297. http://www.scopus.com/inward/record.url?eid=2-s2.0-85013444377&partnerID=MN8TOARS.
    10.1109/TII.2016.2626463
  5. Moreira, N.; Pereira, D.; Melo De Sousa, S.. "Deciding Kleene algebra terms equivalence in Coq". Journal of Logical and Algebraic Methods in Programming 84 3 (2015): 377-401. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938689336&partnerID=MN8TOARS.
    10.1016/j.jlamp.2014.12.004
  6. Pedro, André; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge Sousa; Pedro, André Matos. "Logic-based schedulability analysis for compositional hard real-time embedded systems". (2015): http://hdl.handle.net/10400.22/6816.
    10.1145/2752801.2752808
  7. Lindgren, P.; Eriksson, J.; Lindner, M.; Pereira, D.; Pinho, L.M.. "RTFM-lang static semantics for systems with mixed criticality". Ada User Journal 35 2 (2014): 128-132. http://www.scopus.com/inward/record.url?eid=2-s2.0-84905508995&partnerID=MN8TOARS.
  8. PEREIRA, DAVID. "KAT and PHL in Coq". Computer Science and Information Systems (2008): http://www.scopus.com/inward/record.url?eid=2-s2.0-70349671339&partnerID=40&md5=5e8df62f3ae4d24941a6f93aefea20f8.
    10.2298/CSIS0802137P
Thesis / Dissertation
  1. David Miguel Ramalho Pereira. "Towards certified program logics for the verification of imperative programs". PhD, 2013. https://hdl.handle.net/10216/67898.

Other

Other output
  1. A Novel Runtime Monitoring Architecture. Computing architectures become more and more complex and sometimes unpredictable. Verification techniques showed their limit, essentially when timing properties, available only at run-time, are involved. Testing improves the confidence but does not prove the correctness of the system in all possible situations.. Poster presented in 28th GI/ITG International Conference on Architecture of Computing. 2015. Nelissen, Geoffrey; Pereira, David; Pinho, Luís Miguel. http://hdl.handle.net/10400.22/6890.
  2. Towards specification and verification frameworks for concurrent real-time systems. 2012. Pereira, David; Pedro, André Matos; Pinho, Luís Miguel; Pinto, Jorge Sousa. http://hdl.handle.net/1822/35225.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2019 - Current Towards the design of a DSL to enable the secure Runtime Monitoring and Verification of Safety-Critical CPS
Supervisor of Giann Carlos Nandi
 Doctoral Program in Electrical and Computer Engineering (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal

Research Centre on Real-Time Embedded Computing Systems, Portugal
2019 - 2020 A Framework for the RuntimeMonitoring and Verification ofDistributed Automated Cyber-PhysicalSystems using ROS
Supervisor
 Engenharia Eletrotécnica e de Computadores (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2018 Verificação Formal de Programas com SPARK2014
Supervisor
 Engenharia Informática (Master)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2015/06/01 - 2016/11/01 REVERT: Runtime Verification for Real-Time Systems
Co-supervisor of Sangeeth Nila
 Master of Technolgy in Computer Science (Master)
Indraprastha Institute of Information Technology Delhi, India

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2018 - Current Member of the Local Organization of CPS Week 2018 (2018)
Conference (Other)
 Research Centre on Real-Time Embedded Computing Systems, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
2024/06/24 - 2034/06/24 2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems - VERDI 2024, colocated with DSN 2024 (2024/06/24 - 2024/06/24)
Workshop (Co-organisor)
 Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

RISE Research Institutes of Sweden AB, Sweden
2023/06/27 - 2023/06/27 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems - VERDI 2023, colocated with DSN 2023 (2023/06/27 - 2023/06/27)
Workshop (Co-organisor)
 Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

RISE Research Institutes of Sweden AB, Sweden
2014 - 2023 Co-Organizer of CiWork: CISTER Industrial Workshop on Real-Time and Embedded Systems (2014, 2015, 2016,2023). (2014 - 2023)
Workshop (Co-organisor)
 Research Centre on Real-Time Embedded Computing Systems, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2018/06/18 - 2018/06/22 Workshop & Tutorial Chair of Ada Europe 2018: 23rd International Conference on Reliable Software Technologies (2018/06/18 - 2018/06/22)
Conference (Member of the Organising Committee)
 Universidade de Lisboa Faculdade de Ciências, Portugal
2015/03/24 - 2015/03/27 Industrial Liaison co-Chair of ARCS 2015 - The 28th GI/ITG International Conference on Architecture of Computing Systems (2015/03/24 - 2015/03/27)
Conference (Member of the Organising Committee)
 Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2022 High-speed and High-assurance Cryptographic Software
(Thesis) Arguer
 Tiago Oliveira (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2022 Trustworthy and Robust Intra-Vehicle Communications
(Thesis) Main arguer
 Patrícia Adelaide Lopes Machado (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2022 Verification of Distributed Algorithms with the Why3 tool
(Thesis) Main arguer
 Carla Isabel Novais da Cruz (Master)
Universidade do Minho, Portugal
2022 Formalization of Deep Learning Techniques with the Why3 Proof Platform
(Thesis) Main arguer
 Márcio Alexandre Mota Sousa (Master)
Universidade do Minho, Portugal
2022 Conversão para Why3 de Formalizações em Coq
(Thesis) Main arguer
 Bárbara Cardoso Ferreira (Master)
Universidade do Minho, Portugal
2020/11 LOGICAL ACCESS ANALYSIS
(Thesis) Main arguer
 TONY JORDAN SERRA TEIXEIRA (Master)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2020/11 Plataforma de gestão de uma unidade de I&D
(Thesis) Main arguer
 NUNO MIGUEL SOUSA SILVA (Master)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019/11 WebSockets e a sua aplicação no mundo Web
(Thesis) Main arguer
 PEDRO MANUEL OLIVEIRA ALMEIDA (Master)
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal
2019 Software Criptográfico de Elevado Desempenho e Segurança
(Thesis) Main arguer
 Pedro Vasco Oliveira Moura (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Decision Procedure for Synchronous Kleene Algebra
(Thesis) Main arguer
 Luís Pedro Arrojado da Horta (Master)
Universidade da Beira Interior, Portugal
2018 Well typed embedded program cannot burn
(Thesis) Main arguer
 Nanikafuako Augusto Lusende André (Master)
Universidade da Beira Interior, Portugal
2016 Monitoring Architecture for Real Time Systems
(Thesis) Main arguer
 ANDRÉ LOUSA MARQUES (Master)
Universidade da Beira Interior, Portugal
2014/04 Cryptographic library support for a certified compiler
(Thesis) Main arguer
 Nuno Filipe Trovisco Fernandes (Master)
Universidade do Minho, Portugal
2013/11/28 A Bounded Model Checker for SPARK Programs
(Thesis) Main arguer
 Cláudio Filipe Belo Da Silva Lourenço (Master)
Universidade do Minho, Portugal

Association member

Society Organization name Role
2019 - Current VORTEX-Colab Member of the Scientific Council & CISTER Technical Coordination

Conference scientific committee

Conference name Conference host
2016/10/20 - Current WDES 2016 : Workshop on Dependability in Evolving Systems University of Firenze, Los Andes University, Universidade Federal de Alagoas, Universidade Estadual de Campinas
2016/07/04 - Current VeryComp 2016: International Workshop on Formal to Practical Software Verification and Composition University of L’Aquila, Innopolis University, University of Bologna
2015/10/18 - 2015/10/21 SBAC-PAD 2015: 27th International Symposium on Computer Architecture and High-Performance Computing Federal University of Santa Catarina
2014/09/12 - 2014/09/12 MOD* 2014 : 1st Workshop on Logics and Model-checking for Self-* Systems
Distinctions

Other distinction

2013 Tese de Doutoramento com Distinção
2008 Bolsa de Doutoramento
Fundação para a Ciência e a Tecnologia, Portugal