Luis Miguel Pinho

Senior Researcher

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.

Domains

Communications Computer Science and Engineering Robotics

Projects

POEMS

PORTUGUESE COMPETENCE CENTRE IN SEMICONDUCTORS

DARE

Publications

Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores

Ali, HIAA;Pinho, LM;Akesson, B;

2013

2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA)

Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?

Nikolic, B;Ali, HI;Petters, SM;Pinho, LM;

2013

ACM International Conference Proceeding Series

Real-time programming on accelerator many-core processors

Michell, S;Moore, B;Pinho, LM;

2013

HILT 2013 - Proceedings of the ACM Conference on High Integrity Language Technology

Safe parallel programming in Ada with language extensions

Taft, ST;Moore, B;Pinho, LM;Michell, S;

2014

HILT 2014 - Proceedings of the ACM Conference on High Integrity Language Technology

View all publications

Centres

Human-Centered Computing and Information Science

The Centre for Human-Centered Computing and Information Science (HumanISE) brings together engineers, scientists, and designers with expertise in Human-Centred Computing (HCC), Computer Science (CS), and Information Science (IS). Interdisciplinarity, one of the Centre’s defining features, fosters the development of software systems, methods, and tools designed to empower individuals and their communities. The excellence and impact of HumanISE’s research, innovation, and consultancy activities allow addressing increasingly complex, volatile, heterogeneous, ambiguous, and uncertain challenges, while ensuring compliance with legal, ethical, and organisational standards and frameworks. Value transfer is achieved through close collaboration with academia and industry partners. HumanISE’s core research areas include Human-Computer Interaction; Computer Graphics and Interactive Digital Media; Information Management and Information Systems; Software Engineering; and Large-Scale and Special-Purpose Computing Systems, Languages, and Tools; as well as Computing for Embedded and Cyber-Physical Systems. HumanISE also explores innovation domains like Earth, Ocean and Space Sciences; Personalised Health Research; Geospatial Information Systems Engineering; and Applied Information Systems and Computing.