INESC TEC
INESC TEC
INESC TEC
Resultados da pesquisa para:
Filtrar os seus resultados

0 Resultados

Luis Miguel Pinho

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

Ver todas as publicações

Centros

Computação Centrada no Humano e Ciência da Informação

O Centro de Computação Centrada no Humano e Ciências da Informação (HumanISE) integra engenheiros, cientistas e designers com competências em Computação Centrada no Humano (HCC), Ciência da Computação (CS) e Ciência da Informação (IS). A interdisciplinaridade, um dos elementos distintivos do centro, promove o desenvolvimento de sistemas de software, métodos e ferramentas que visam potenciar as pessoas e as suas comunidades. A excelência e impacto da atividade de investigação, inovação e consultoria do HumanISE permitem responder às necessidades crescentes de elevada complexidade, volatilidade, heterogeneidade, ambiguidade, incerteza, conformidade com normas e enquadramentos legais, éticos e organizacionais. A transferência de valor ocorre em estreita colaboração com parceiros académicos e empresariais. As principais áreas de investigação do HumanISE são: Interação Pessoa-Computador; Computação Gráfica e Media Digital Interativa; Gestão da Informação e Sistemas de Informação; Engenharia de Software; e Sistemas Computacionais de Grande Escala e Propósito Específico, Linguagens e Ferramentas; Computação para Sistemas Embebidos e Ciberfísicos. O HumanISE conta também com áreas de inovação: Ciências da Terra, dos Oceanos e do Espaço (EOSS); Investigação Personalizada no Domínio da Saúde; Engenharia de Sistemas de Informação Geoespacial; e Sistemas de Informação e Computação Aplicada.

Computação Centrada no Humano e Ciência da Informação

Information and Contacts

Social Media