João Pedro Dias is part researcher on the thin line between hardware and software, and part Software Engineer. He has a BSc+MSc in Informatics and Computing Engineering by the Faculty of Engineering, University of Porto (FEUP). He earned his Ph.D. in Informatics Engineering fromFEUP in 2022, while receiving a grant from the FCT. He maintains a Software Engineer position as a day-to-day job at Kuehne+Nagel. Since 2017, he has been an Invited Assistant Professor at FEUP, where he teaches courses in Software Engineering, Operating Systems, among others. He has (co-)supervised +5 MSc dissertations and contributed to two projects at LIACC and INESC TEC. His research focuses on Internet-of-Things systems, software engineering, security and privacy, and his work has been published in several top-tier conferences and journals (h-index 16, i10-index 22). In his free time, he enjoys participating in Capture The Flag competitions, experimenting with Software-defined Radio, building web applications, reverse-engineering hardware, and photographing while wandering in nature.
Tiago Fragoso, David Silva, João Pedro Dias, André Restivo, Hugo Sereno Ferreira
1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems part of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks