P
Perry Alexander
AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences
Research Interests
Formal Methods, Verification, and Synthesis
Specification Languages
System-Level Design Languages and Semantics
Trusted Computing
Advanced Software Engineering Methodologies
Formal Methods in Verification
Model-Driven Software Engineering Techniques
Embedded Systems Design Techniques
Logic, Programming, and Type Systems