I am 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. My 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)

ORCID

GPG Public Key

Current Courses and Office Hours

EECS 662 - Programming Languages - 2:30-3:45 TR in G415 LEEP2

HNRS 190 - Honors Tutorial - 4:00-4:45 T in 108 Nunemaker Center

Office Hours - 1:30-2:30 TR in 3048 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.