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