Luis Miguel Pinho
Luis Miguel Pinho is Associate Professor at the Department of Computer Engineering - School of Engineering of the Polytechnic Institute of Porto (ISEP), being Director of the Master in Critical Computing Systems Engineering at ISEP. He has a PhD in Electrical and Computer Engineering (2001) and the Habilitation title in Informatics Engineering (2023) at the University of Porto.
Luis Miguel Pinho leads research in areas such as real-time and embedded software, programming languages, concurrency and parallelism, with a particular focus on the integration of high-performance computing with real-time embedded systems.
He was responsible for several R&D projects, among which the FP7 R&D European Project P-SOCRATES, and coordinated activities in more than 25 projects, from fundamental research projects to industry funded technology transfer, including both single partner and in-consortia projects. He published more than 150 papers in international conferences and journals in the area of real-time, embedded and cyber-physical systems. He was General Chair of the Ada-Europe 2006 and ARCS 2015 conferences, Keynote Speaker at RTCSA 2010 and Program Co-Chair of Ada-Europe 2006, Ada-Europe 2012 and RTNS 2016. He was Editor-in-Chief of the Ada User Journal, from 2007 to 2019, and is currently Technical Editor of ACM Ada Letters. He is also a member of ISO/IEC JTC1/SC22/WG9 (Ada language), being one of the authors of the Ada 2022 parallel programing model.
Luis Miguel Pinho was Pro-President for Research and Innovation at the Polytechnic Institute of Porto from 2018 to 2022, and Executive Director of PORTIC (Porto Research, Technology & Innovation Center), Polytechnic's of Porto infrastructure for Research, Innovation and Entrepreneurship.
Publications
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs
Ali, HI;Akesson, B;Pinho, LM;
2015
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Poster Abstract: Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada
Pinho, LM;Moore, B;Michell, S;Taft, ST;
2015
2015 IEEE 36TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2015)
A Formal Perspective on IEC 61499 Execution Control Chart Semantics
Lindgren, P;Lindner, M;Pereira, D;Pinho, LM;
2015
2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3
Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing
Maia, C;Yomsi, PM;Nogueira, L;Pinho, LM;
2015
PROCEEDINGS IEEE/IFIP 13TH INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING 2015

