SPECS – Special-Purpose Computer Systems Languages and Tools Reasearch Group

Ongoing Projects

Concluded Projects

Rendering FPGAs for Multi-Core Embedded Computing

http://www.reflect-project.eu Abstract This project will develop, implement and evaluate a novel compilation and synthesis system approach for FPGA-based platforms as outlined in the figure above. We rely on Aspect-Oriented (AO) Specifications (AOS) to convey critical domain knowledge to a mapping engine while preserving the advantages of a high-level imperative programming paradigm in early software development […]
RAMTEDRA – Runtime Adaptive Mapping Techniques for Dynamically Reconfigurable Architectures

Duration: 2 years, May. 2010 Abstract In this project we propose to research and develop (runtime) techniques to dynamically adapt both software and hardware components according to the hardware resources available during runtime. We will research schemes for dynamic reconfiguration of computing engines coupled to a microprocessor. Specifically, we will use a regular expression and […]

MSc – Completed

“Quantum Computing for Optimizing Routes in Smart Cities”, author: André Santos, advisor(s): Rui Maranhão, João Paulo Fernandes, degree: MSc, Institution: Faculty of Engineering of the University of Porto, program: MIEIC, Date: June 2021.

MSc – Completed

“Quantum Reinforcement Learning applied to Games”, author: Miguel Teixeira, advisor(s): Ana Paula Rocha, António Castro, degree: MSc, Institution: Faculty of Engineering of the University of Porto, program: MIEIC, Date: June 2021.

MSc – Completed

Involvement in International Education Programs

Quarmen – International Master’s programme in Quantum Science and Technology

Contacts

 

Email: specs.feup@gmail.com

Phone: (+351) 220413916 (ext. 3916)

Location: Laboratory J204
Faculdade de Engenharia da Universidade do Porto (FEUP)
Rua Dr. Roberto Frias
4200-465 Porto, Portugal