João Sousa es el desarrollador principal de BFT-Smart, una biblioteca bizantina de replicación de máquinas de estado tolerantes a fallas de alto rendimiento | Doctorado de la Universidad de Lisboa | Galardonado con el premio de tesis doctoral William C. Carter por su contribución significativa al campo de la computación confiable y segura.
