João Pedro Leite
Research Engineer

João is a research engineer interested in large-scale fault-tolerant distributed systems, consensus, formal methods and applied cryptography.
On his off-days, he is likely writing another Lisp for some obscure execution environment or writing the obscure execution environment to then write a Lisp on.

He has a Master's in Software Engineering from Instituto Superior Técnico, Lisbon, specializing in distributed systems and cybersecurity.

Research Areas

Distributed Systems, Consensus, Fault-Tolerance