Perry Alexander has been ITTC Director since 2009. He is the AT&T Distinguished Professor or Electrical Engineering and Computer Science at The University of Kansas. His research interests include formal modeling, formal verification and synthesis, modeling languages, and trusted computing. His work has been supported by grants from NSF, DARPA, DoD, AFRL, NASA, Battelle Memorial Trust, and The Knight Foundation. He is the chief architect of the Rosetta system specification language and is author of “System-Level Design using Rosetta” (Morgan Kaufmann Publishers, 2006). He has published over 100 refereed publication and received 22 teaching awards. He received a W.T. Kemper Fellowship for Teaching Excellence and The ASEE Midwest Region Dean’s Award for Teaching Excellence in 2003, and the John E. and Winifred E. Sharp Teaching Professorship in 2010. He was named a Universty of Kansas Men of Merit Honoree in 2014. He is a Senior Member of both ACM and IEEE.
Alexander received the BSEE and BSCE in 1986, MSEE in 1988 and PhD in 1992 all from the University of Kansas. From 1992 to 1999 he was a faculty member in the Electrical and Computer Engineering Department at The University of Cincinnati.