João Leitão's Homepage : Research
Systems are becoming more and more relevant in the everyday life of a broader number of users. This leads system's design and architectures to become more and more complex at the same time that user's expectations concerning responsiveness, availability, and dependability grow. In this context, my research strives to answer the broad question of: How to scale systems, and distributed systems in particular, in number of components, geographic distribution, and user base, while ensuring high availability, efficiency, and fault tolerance?
This research is entiwned with the strategic plan of the NOVA LINCS Laboratory to develop new solutions and algorithms to support large-scale distributed systems.
I am currently part of the research team of the followin funded research projects.
HYRAX - Crowd-Sourcing Mobile Devices to Develop Edge Clouds, FCT/CMU (FCT CMUP-ERI/FIA/0048/2013)
SyncFree - Large-scale computation without synchronisation (SyncFree is a European research project taking place for 3 years, staring October 2013, and is funded by the European Union, grant agreement n 609551.)
Past Research Project:
In the past I participated in the following funded research projects.
ADAAS - Assuring Dependability in Architecture-based Adaptive Systems FCT (CMU-PT/ELE/0030/2009)
REDICO - Dynamic reconfiguration of communication protocols
HPCI - High-Performance Computing over the Large-Scale Internet
P-SON: Probabilistically-Structured Overlay Networks
Other Research Activities:
Other Past Projects and Activities:
Artificial Life's Project: Hemisson's Robot
Projecto Ciência Viva: à descoberta dos Robôs e dos Agentes Inteligentes (collaborator)