Eduardo Brandão Marques

Education: PhD in Computer Science, Faculdade de Ciências da Universidade do Porto, 2011.

Research interests: concurrency, software verification and testing, unmanned vehicle networks

Selected publications:

Short bio

Domains

Advanced Computing Systems Artificial Intelligence Communications Computer Science and Engineering Robotics

Projects

T4CDTKC

This project aims to outline an innovative training program oriented to the development of skills around the themes inherent to the i4.0 industry. Within this scope, the structure of the programme is defined, the production of the thematic contents to be explored based on the pedagogical methodology adopted. A teaching-learning methodology centred on an online platform is explored, having as central element a collection of videos complemented by a set of 'handouts' that organise the set of key messages and 'take-ways' associated to each module.

Cortaderia

Publications

Verification of MPI Programs Using Session Types

Honda, K;Marques, ERB;Martins, F;Ng, N;Vasconcelos, VT;Yoshida, N;

2012

Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings

Implementation of a control architecture for networked vehicle systems

Pinto, J;Calado, P;Braga, J;Dias, P;Martins, R;Marques, E;Sousa, JB;

2012

IFAC Proceedings Volumes (IFAC-PapersOnline)

Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments

Tinka, A;Diemer, S;Madureira, L;Marques, EB;de Sousa, JB;Martins, R;Pinto, J;da Silva, JE;Sousa, A;Saint Pierre, P;Bayen, AM;

2009

2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9

Distributed, Modular HTL

Henzinger, TA;Kirsch, CM;Marques, ERB;Sokolova, A;

2009

2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS

View all publications

Supervised theses

A definir

Maria Fernanda Silva Gonçalves

D - 2024

UP-FLUP

Centres

Advanced Computing Systems

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more. We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems. Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.