Dr. Perry Alexander

The University of Kansas

Perry Alexander

Home
Publications
Teaching
Research
Personal
Blog

Dr. Perry Alexander is the AT&T Foundation Distinguished Professor of Electrical and Computer Science and Director of the Information and Telecommunication Technology Center at the University of Kansas. His research and teaching interests include formal verification and synthesis, trusted systems, and programming language semantics.

Information


Information and Telecommunication Technology Center
The University of Kansas
Nichols Hall
2335 Irving Hill Rd
Lawrence, KS 66045
Department of Electrical Engineering and Computer Science
The University of Kansas
2001 Eaton Hall
1520 West 15th Street
Lawrence, KS 66045-7621
Contact
palexand [at] ku [dot] edu
785-864-7741 (Voice)
785-864-0387 (FAX)
perry_alexander (skype)
GPG Public Key
Current Courses and Office Hours
EECS 762 - Programming Language Foundations I - 9:30-10:45 TR in 2115 Learned Hall
HNRS 190 - Honors Tutorial - 4:00-5:15 T in Gemini Room, Nichols Hall
Office Hours - 10:45-12:00 TR in 2022 Eaton Hall

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.

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.

Vita


My full vita should you be interested.