Warren P. Alexander
- AT&T Distinguished Professor
Contact Info
Biography —
Dr. Alexander joined KU’s faculty in 1999, and also serves as Director of the Institute for Information Sciences and a principal investigator with the Information and Telecommunications Technology Center. His research focuses on formal verification and synthesis, trusted systems and programming language semantics, and has been funded by numerous government and industry groups, including the National Security Agency, Department of Defense, Honeywell and Collins Aerospace.
He has served as lead principal investigator on an NSA Science of Security Lablet, working to develop verified trusted computing semantics and infrastructure, and was PI leading the interdisciplinary research team for the Securing Our Worlds: Physical, Digital, Social project, which received one of four $3 million awards in KU’s Research Rising competition.
Dr. Alexander is an elected senior member of the Association for Computing Machinery (ACM), and an elected senior member of the IEEE. Awards include the W. T. Kemper Fellowship for Teaching Excellence and the Irving E. Youngberg Award in Applied Sciences.
Read more about Perry Alexander on his website.