Francisco Miguel Cruz

Francisco Cruz was born in Portugal (1986), has a B.Sc. (2007), an M.Sc. (2009), and PhD (2016) by the University of Minho and is currently postdoctoral researcher at INESC TEC.

During his M.Sc. he started working at HASLab/ INESC TEC, at the University of Minho, on the HPLabs Innovation Research Award funded project DC2MS - Dependable Cloud Computing Management Services (DC2MS - IRA/CW118736). During this time, his research focused on Cloud Computing environments, more specifically on the new NoSQL data stores. At the same time, he worked on his master thesis, entitled SocialSeer, revolved around metadata sharing and suggestion of data in dropbox like systems.

In his Ph.D work his research shifted towards providing a SQL interface to NoSQL data stores as well as how to improve their elasticity and performance.

Domains

High-Assurance Software

Projects

Cloud-Setup

The MOG CLOUD SETUP aims to develop tools for post-production of high quality audiovisual content for the television industry that allow the automation in inserting and/or replacing content in TV programming and that can work both inside a radio broadcast station as well as in a cloud-based environment. This project is of extreme importance for the television and audiovisual content industries as it allows the automation of processes that are extremely expensive nowadays. This way, it will facilitate and speed up the content formatting that must be displayed in multiple distribution platforms. Project Datasheet

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

Publications

On the Expressiveness and Trade-Offs of Large Scale Tuple Stores

Vilaça, R;Cruz, F;Oliveira, RC;

2010

On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II

Assessing NoSQL Databases for Telecom Applications

Cruz, F;Gomes, P;Oliveira, R;Pereira, J;

2011

13TH IEEE INTERNATIONAL CONFERENCE ON COMMERCE AND ENTERPRISE COMPUTING (CEC 2011)

On the Expressiveness and Trade-Offs of Large Scale Tuple Stores

Vilaca, R;Cruz, F;Oliveira, R;

2010

ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II

pH1: A Transactional Middleware for NoSQL

Coelho, F;Cruz, F;Vilaca, R;Pereira, J;Oliveira, R;

2014

2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS)

View all publications

Supervised theses

DA PROCURA À EFICIÊNCIA NAS ANÁLISES CLÍNICAS ESPECIAIS: UMA ABORDAGEM HOLÍSTICA

Maria João Nogueira Tavares

M - 2023

UP-FEP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.