Welcome to the website of João Pedro Leite. I’m a software engineer and researcher. I usually dabble in the intersection of distributed systems and formal logic. I know way too much about consensus algorithms, epistemic logic and glibc internals.