João é um engenheiro de pesquisa interessado em sistemas distribuídos tolerantes a falhas em larga escala, consenso, métodos formais e criptografia aplicada. Nos seus dias de folga, ele provavelmente está escrevendo outra Lisp para algum ambiente de execução obscuro ou escrevendo o ambiente de execução obscuro para então escrever uma Lisp nele.
Ele tem um mestrado em Engenharia de Software do Instituto Superior Técnico, Lisboa, especializando-se em sistemas distribuídos e cibersegurança.
Áreas de pesquisa
Sistemas distribuídos, consenso, tolerância a falhas