Perry Alexander
AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science
Director of the Information and Telecommunication Technology Center
palexand@ku.edu
Primary office:
785-864-8833
2022 Eaton Hall
The University of Kansas
Second office:
208 Nichol Hall
Primary Research Interests
- Formal Methods, Verification, and Synthesis
- Trusted Computing
- System-Level Design Languages and Semantics
- Specification Languages
