Eduardo R. B. Marques

Professor Auxiliar, Dep. Ciência de Computadores, FCUP
Researcher, CRACS / INESC-TEC
Email: ebmarques __at__ fc.up.pt
Room: 1.72 :: Tel. (+351) 220 402 972

Home | Publications | Projects | Students | Software | Teaching | Personal

Student supervision

PhD students

2021

MSc students

2022/23 (ongoing)

  • Choi Dzak, MCC, co-advised with João Sousa (DEEC/FEUP)
  • Joana Leite, MCC, co-advised with Luís Lopes
  • Ruben Cristiano, MERSI, co-advised with Sérgio Crisóstomo

2021/22

  • António Filgueiras, FloraLens: a deep learning model for portuguese flora, MERSI, co-advised with Luís Lopes.
  • Frederico Lopes, Resilience of code obfuscation to optimization and fuzzing, MSI, co-advised with André Baptista.
  • João Paulo Carvalho,AugBot: indoor location system using ROS, MERSI, co-advised with Sérgio Crisóstomo.
  • Tiago Melo, Sensor Fusion for Indoor Localization, MERSI co-advised with Rui Prior and Sérgio Crisóstomo
  • Tomás Mamede,A Machine Learning Approach to Indoor Localization Using Bluetooth and Video Data, MCC, co-advised with Luís Lopes.

2020/21

  • Miguel Pereira, Onboard Image Classification of Biological Habitats Using Underwater Vehicles, MCC, co-advised with José Pinto.

2019/20

  • Célio Rodrigues, Property-based testing of ERC-20 smart contracts, MSI.
  • Fábio Freitas, Application Security in Continous Delivery, co-advised with Pedro Borges from LOQR, MSI.
  • Miguel Marques, A Portuguese Flora identification tool using deep learning, co-advised with Luís Lopes, MIERSI.

2018/19

  • Ricardo Santos, Plataforma de Monitorização da Biodiversidade no Concelho de V. N. Gaia [PDF], co-advised with Luís Lopes, MIERSI.

2017/18

  • Miguel Garcia, Content sharing system in infrastructure deprived environments using edge clouds [PDF], co-advised with Luís Lopes, MIERSI - check our paper at FMEC'20
  • Tiago Castanheira, Simulation of mobile edge cloud applications using Mininet-WiFi [PDF], co-advised with Luís Lopes, MIERSI.
  • Pedro Seruca, CommManager: comunicação adaptativa em redes de veículos autónomos, co-advised with José Pinto, MIERSI.
  • Rui Silva, Barrel Shooter: um jogo ``peer-to-peer'' para ``mobile edge clouds'', co-advised with Fernando Silva, MIERSI.

2016/17

  • Nuno Silva, Flux: A platform for mobile data sensing using personal devices [PDF], co-advised with Luís Lopes, MIERSI - check our papers at ACM TOSN'18 and ACM BuildSys'17.
  • Keila Lima, Dolphin: A Domain-Specific Language for Autonomous Vehicle Networks [PDF], co-advised with José Pinto from LSTS/FEUP, MIERSI - check our IROS'18 and Oceans'18 papers.
  • José Oliveira, Analysis of consistency properties for Key-Value Stores on Mobile Edge Clouds, MIERSI.

2014/15

  • Hugo Duarte, Plataforma de Execução de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-advised with Francisco Martins
  • Raquel Carmona, Plataforma de Especificação de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-advised with Francisco Martins

2013/14

  • Manuel Ribeiro, NVL: uma linguagem de coordenação para redes de veículos autónomos [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Francisco Martins and in collaboration with LSTS - check our papers at SAC'15 and NGCUV'15
  • Miguel Simões, Cooperative testing of multithreaded Java applications [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Francisco Martins - check our paper at PPPJ'14
  • Filipe Lemos, Synthesis of correct-by-construction MPI programs [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Vasco T. Vasconcelos

2012/13

  • Nuno Martins, Formal verification of parallel C+MPI programs, MSc Thesis, DI/FCUL 2013, co-advised with Vasco T. Vasconcelos

BSc students

  • Hugo Silva, Implementação de uma aplicação móvel para o Biolens (ongoing), LCC project course, 2022, co-advised with Luís Lopes
  • Diogo Sousa, Deteção e Eliminação de Artefactos em Imagens Astronómicas, LCC project course, 2022, co-advised with Luís Lopes
  • Isac Novo, Property-based testing of ERC-721 Ethereum smart contracts [PDF], LCC Project course, 2021.
  • Tomás Mamede, On using Deep Learning for Automatic Taxonomic Identification of Butterflies [PDF], LCC Project course, 2020, co-advised with Luís Lopes
  • Nuno Neto, MAVLink plugin for the Dolphin language [PDF], LCC Project course, 2020.
  • Miguel Silva, HyraxMsg: uma aplicação de "messaging" para "mobile edge clouds" [PDF], a messaging app for mobile edge-clouds, using the Hyrax middleware, IIC course, 2017.

Specialization students