
Advanced Computing Systems
About the Centre
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.
Team Members
Team Leaders
Selected Publications
A software framework for rapid prototyping of run-time systems for mobile calculi
Bettini, L;De Nicola, R;Falassi, D;Lacoste, M;Lopes, L;Oliveira, L;Paulino, H;Vasconcelos, VT;
2005
GLOBAL COMPUTING
Hierarchical clustering of multispectral images using combined spectral and spatial criteria
Marcal, ARS;Castro, L;
2005
IEEE GEOSCIENCE AND REMOTE SENSING LETTERS
Strategies to parallelize ILP systems
Fonseca, NA;Silva, F;Camacho, R;
2005
INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS
Dynamic mixed-strategy evaluation of tabled logic programs
Rocha, R;Silva, F;Costa, VS;
2005
LOGIC PROGRAMMING, PROCEEDINGS
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
Loading Loading Loading Loading
News & Events
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Supervised Theses
A secure mobile based health information system solution - from understanding and conceptualizing to prototyping the patient experience
Cátia Andreia Santos Pereira Augusto
D - 2019
UP-FEUP
Secure Remote Storage of Logs With Search Capabilities
Rui Manuel Vieira Araújo
M - 2019
IPP-ESTG
Forder application
David Emanuel Torres Mendes
M - 2019
IPP-ESTG
Sistema de gestão de eventos de segurança de informação em alta disponibilidade
Hélio Celso Pinto de Sousa
M - 2019
IPP-ESTG
Contact Us
Get in touch with us. We will respond as soon as possible.










