Eduardo R. B. Marques

Dep. Ciência de Computadores @ FCUP
CRACS / INESC-TEC
Email: edrdo __at__ dcc.fc.up.pt
Room: 1.72 :: Tel. (+351) 220 402 972

Home | Publications | Projects | Software | Supervision | Teaching | Personal

Student supervision

Current

MIERSI students at DCC/FCUP:

  • José Oliveira, Consistency analysis of key-value stores in mobile edge clouds, in the scope of the Hyrax project
  • Keila Lima, Programmable coordination of autonomous vehicle networks, joint supervision with José Pinto from LSTS/FEUP, following up work on NVL
  • Nuno Silva, Android port of the Sonar virtual machine, joint supervision with Luís Lopes

BSc students (IIC course):

  • Miguel Silva, "HyraxMsg: uma aplicação de "messaging" para "mobile edge clouds", a messaging app for mobile edge-clouds, using the Hyrax middleware

Past

  • Hugo Duarte, Plataforma de Execução de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-supervision with Francisco Martins
  • Raquel Carmona, Plataforma de Especificação de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-supervision with Francisco Martins
  • Filipe Lemos, Synthesis of correct-by-construction MPI programs [PDF], MSc Thesis, DI/FCUL, 2014, co-supervision with Vasco T. Vasconcelos
  • Miguel Simões, Cooperative testing of multithreaded Java applications [PDF], MSc Thesis, DI/FCUL, 2014, co-supervision with Francisco Martins
  • Manuel Ribeiro, NVL: uma linguagem de coordenação para redes de veículos autónomos, MSc Thesis, DI/FCUL, 2014, co-supervision with Francisco Martins and in collaboration with LSTS
  • Nuno Martins, Formal verification of parallel C+MPI programs, MSc Thesis, DI/FCUL 2013, co-supervision with Vasco T. Vasconcelos