- Questões de Segurança em Engenharia de Software
- Computação Paralela
- Programação Imperativa (PL1, PL2)
Current research interests
Mobile computing: mobile edge clouds, mobile crowd-sensing, autonomous vehicle networks.
Other general interests: concurrency, language design and implementation, software verification.
- Flux: a platform for dynamically reconfigurable mobile crowd-sensing (preprint) @ ACM Transactions on Sensor Networks (TOSN), 2018 (to appear)
- Dolphin: a task orchestration language for autonomous vehicle networks @ IROS'18 (to appear)
- Video Dissemination in Untethered Edge-Clouds: a Case Study @ DAIS'18
- Programming Networked Vehicle Systems using Dolphin -- Field Tests at REP'17 @ IEEE/MTS Oceans'18
- Streaming Sensor Data from Dynamically Reprogrammable Tasks Running on Mobile Devices @ BuildSys'17
- Deductive Verification of MPI Protocols @ Behavioural Types: from Theory to Tools (book chapter)
- Towards a Middleware for Mobile Edge-Cloud Applications @ MECC'17
- P3-Mobile: Parallel Computing for Mobile Edge-Clouds @ CrossCloud'17
> other past projects
- MAP-i PhD program: Joaquim Silva, co-advised with Fernando Silva
- MIERSI MSc students:
- BBC project: Bárbara Ferreira, co-advised with João Gonçalves and João Honrado
News / events
- Video about the Hyrax project and the DAIS'18 paper field experiment.
- Ciência 2018: talk about the Hyrax project, CMU-Portugal session.
- INForum 2018: PC member, CES and CMU tracks
- Graduated MIERSI'17 students: Nuno Silva, Keila Lima, José Oliveira
- REP'17 @ Tróia/Sesimbra
> Field tests for ongoing research in collaboration with LSTS, check some photos here
- CMU Portugal Symposium'17 @ Porto
> Hyrax project evaluation
- Marine UAS Summer School'17 @ IST / Lisbon
> Lecture: "Programming (languages for) networked vehicle systems"
- Since Sep. 2018: "Professor Auxiliar" at DCC/FCUP, researcher at CRACS / INESC-TEC.
- 2016 - 2018: post-doc researcher at CRACS / INESC-TEC, "Prof. Auxiliar Convidado" (25%) at DCC / FCUP.
- Feb. 2012 to Feb. 2016: "Professor Auxiliar Convidado" (100%), DI/FCUL, Univ. Lisboa, researcher at LASIGE.
- PhD in Computer Science, DCC/FCUP, 2011, supervised by Luís Lopes and Christoph Kirsch; during my PhD I was involved with CRACS @ FCUP, LSTS @ FEUP, and Computational Systems Group @ Univ. Salzburg.
- 1998 to 2005: software engineer in consulting companies; my last job in industry was at CESAR, Recife, Brazil.
- MSc in Advanced Computing, Dep. Computing, Imperial College London, 1998
- BSc in Computer Science ("licenciatura"), DCC/FCUP, 1997