Perry Alexander
![Perry Alexander](/sites/eecs/files/styles/person_profile/public/images/person-profile/Alexander_Perry.jpg?h=8538a272&itok=V65G5y37)
- AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science
- Director of the Institute for Information Sciences
Contact Info
2022 Eaton Hall
Personal Links
Research —
Research interests:
- Formal Methods, Verification, and Synthesis
- Trusted Computing
- System-Level Design Languages and Semantics
- Specification Languages