Luis Miguel Pinho
Investigador Sénior
Luis Miguel Pinho é Professor Coordenador do Departamento de Engenharia Informática do Instituto Superior de Engenharia do Porto (ISEP), sendo Diretor do Mestrado em Engenharia de Sistemas Computacionais Críticos do ISEP. É Doutor em Engenharia Electrotécnica e de Computadores (2001) e Agregado em Engenharia Informática (2023) pela Universidade do Porto.
Luis Miguel Pinho lidera investigação em áreas como software embebido e de tempo real, linguagens de programação, concorrência e paralelismo, com foco particular na integração de computação de alto desempenho em sistemas embebidos de tempo real.
Foi responsável por vários projetos de I&D, entre os quais o projeto FP7 P-SOCRATES, tendo coordenando atividades em mais de 25 projetos, desde projetos de investigação fundamental até transferência de tecnologia financiada pela indústria, incluindo projetos individuais e em consórcio. Publicou mais de 150 artigos em conferências e revistas internacionais na área de sistemas de tempo real, embebidos e ciber-físicos. Foi Conference Chair das conferências Ada-Europe 2006 e ARCS 2015, Keynote Speaker na conferência RTCSA 2010 e Program Chair das conferências Ada-Europe 2006, Ada-Europe 2012 e RTNS 2016. Foi editor da publicação Ada User Journal, de 2007 a 2019, e é atualmente editor da publicação ACM Ada Letters. É membro da ISO/IEC JTC1/SC22/WG9 (Linguagem Ada), sendo um dos autores do modelo de programação paralela da linguagem Ada 2022.
Foi Pró-Presidente para a Investigação e Inovação do Instituto Politécnico do Porto de 2018 a 2022, e Diretor Executivo do PORTIC (Porto Research, Technology & Innovation Center), estrutura de Investigação, Inovação e Empreendedorismo do Politécnico do Porto.
Publicações
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