Sistemas distribuidosSeguridadMediciónVerificación formal
James es un ingeniero de investigación centrado en la infraestructura de Internet (por ejemplo, la PKI web y el DNS), los sistemas y los métodos formales. Posee un doctorado en Ciencias de la Computación de la Universidad de Harvard.
Áreas de investigación
Infraestructura de Internet, sistemas, métodos formales
