معرفی
Francisco Miguel Cruz is an External Research Collaborator and postdoctoral researcher at INESC TEC's High-Assurance Software Centre since January 2012, holding a PhD from the University of Minho (2016) where he completed all academic degrees. His research trajectory spans cloud infrastructure and distributed database systems with emphasis on practical scalability solutions.
Educational background:
- B.Sc. in Computer Science, University of Minho (2007)
- M.Sc. in Computer Science, University of Minho (2009)
- Ph.D. in Informatics Engineering, University of Minho (2016)
His research focuses on bridging theoretical database concepts with cloud deployment realities, particularly in NoSQL ecosystems. Key contributions include predictive resource modeling for key-value stores, transactional middleware development, and workload-aware data partitioning techniques that address critical bottlenecks in massive-scale data management. His work demonstrates consistent innovation in enhancing elasticity and performance characteristics of distributed databases.
Analysis of his 2014-2016 publications reveals a cohesive research thread targeting practical optimization of NoSQL systems through novel prediction mechanisms and architectural innovations. The publications collectively advance understanding of cache behavior, resource allocation, and transactional guarantees in cloud-native data stores, showing strong alignment with industry scalability challenges.
Dr. Cruz supervised João Pedro Nóbrega Rei's 2018 thesis on IoT medical sensor platforms and contributed to the HPLabs-funded DC2MS project (Dependable Cloud Computing Management Services). His research methodology combines rigorous experimental validation with real-world system implementation, as evidenced by throughput impact measurements in transactional middleware development.
As a core member of HASLab (High-Assurance Software Laboratory) at INESC TEC, he participates in developing dependable software systems with emphasis on cloud infrastructure reliability and performance predictability.
