Perry Alexander

Warren P. Alexander is the AT&T Distinguished Professor at The University of Kansas, specializing in formal methods applied to system-level design. His research focuses on ensuring reliable, secure, and trustworthy computer systems through mathematical methodologies, tool development, and curriculum integration. He emphasizes pragmatic engineering approaches to formal techniques, including protocol design and verification.

Key research interests include remote attestation protocols, cybersecurity assurance, and trusted computing architectures. His work bridges theory and practice, with contributions to frameworks like Rosetta and Copland for system design and verification.

Dr. Alexander’s publications span formal verification, system-level design, and cybersecurity, reflecting a commitment to advancing both academic and industrial applications of rigorous system design principles.