Perry Alexander
Scholar

Perry Alexander

Google Scholar ID: X-WzDOYAAAAJ
AT&T Foundation Distinguished Professor, I2S Director, The University of Kansas
Formal MethodsSecurityFormal VerificationFormal SynthesisDesign Languages
Citations & Impact
All-time
Citations
1,238
 
H-index
18
 
i10-index
38
 
Publications
20
 
Co-authors
30
list available
Contact
No contact links provided.
Publications
1 items
Resume (English only)