João es un ingeniero de investigación interesado en sistemas distribuidos tolerantes a fallos a gran escala, consenso, métodos formales y criptografía aplicada. En sus días libres, es probable que esté escribiendo otro Lisp para algún entorno de ejecución oscuro o escribiendo el entorno de ejecución oscuro para luego escribir un Lisp en él.
Tiene un Máster en Ingeniería de Software del Instituto Superior Técnico, Lisboa, especializándose en sistemas distribuidos y ciberseguridad.
áreas de investigación
Sistemas distribuidos, consenso, tolerancia a fallos