Perry Alexander


Perry Alexander
  • Director of the Institute for Information Sciences
  • AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science

Contact Info

Primary:
Nichols Hall Room 208
Lawrence
2335 Irving Hill Rd
Lawrence, KS 66045
Eaton Hall
Lawrence

Education

Ph.D., University of Kansas, 1992, Lawrence, KS
M.S. in Electrical Engineering, University of Kansas, 1988, Lawrence, KS
B.S. in Electrical Engineering, University of Kansas, 1986, Lawrence, KS
B.S. in Computer Science, University of Kansas, 1986, Lawrence, KS

Research

My research interests include formal methods, system-level design, trusted computing, design and specification language semantics, and component retrieval. For more information, visit my research or the SLDG pages.

Teaching

My teaching interests include formal methods, programming languages and semantics, digital systems design and software engineering. For more information on courses I teach, visit my teaching pages.

Awards & Honors

John E. Sharp and Winifred E. Sharp Teaching Professorship, School of Engineering, University of Kansas, 2010

Harry Talley Excellence in Teaching Award, 2010

Honoree, KU Center for Teaching Excellence, 2007

Harry Talley Excellence in Teaching Award, 2006

ASEE Midwest Region Dean's Award for Teaching Excellence, 2003

Miller Faculty Development Award, School of Engineering, University of Kansas, 2003

W.T. Kemper Fellowship for Teaching Excellence, University of Kansas, 2003

Miller Scholar, School of Engineering, University of Kansas, 2002

Harry Talley Award, Electrical Engineering and Computer Science Department, University of Kansas, 2002

Electrical Engineering and Computer Science Engineering Expo Outstanding Teacher Award, University of Kansas, 2000

Senior member of IEEE, 1999

University of Cincinnati (UC) College of Engineering Neil A. Wandmacher Teaching Award, 1998

UC Engineering Tribunal Professor of the Quarter, University of Cincinnati, winter 1994 and fall 1998

Departmental nominee of HKN Young Professor Award, University of Cincinnati, 1997-1998

University nominee to the Defense Science Study Group, 1997

HKN Outstanding Professor of the Year, University of Cincinnati, 1996-1997

William E. Restemeyer Teaching Excellence Award, Department of Electrical Engineering and Computer Science, University of Cincinnati, 1996-1997

William H. Middendorf Research Excellence Award, Department of Electrical Engineering and Computer Science, University of Cincinnati, 1993-1994

ASEE Faculty Summer Internship, Naval Ocean Systems Center, Summer 1993 (Declined)

HKN Outstanding Professor of the Year, University of Cincinnati, 1992-1993