Perry Alexander
- 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