Phillip Windley

• Digital Identity
• Formal Methods in Computer-Aided Design
• Learning Digital Identity