João Sousa is the lead developer of BFT-SMaRt, a high-performance Byzantine fault-tolerant state machine replication library | PhD from the University of Lisbon | Awarded the William C. Carter PhD Dissertation Award for significant contribution to the field of dependable and secure computing.