Sistemas DistribuídosSegurançaMediçãoVerificação Formal
James é um engenheiro de pesquisa focado em infraestrutura da Internet (por exemplo, a PKI da Web e DNS), sistemas e métodos formais. Ele possui um PhD em Ciência da Computação pela Universidade de Harvard.
Áreas de pesquisa
Infraestrutura da Internet, Sistemas, Métodos Formais
