Stacks Image 0
Dr. Perry Alexander is a Professor in the Department of Electrical and Computer Engineering and Director of the Information and Telecommunication Technology Center at the University of Kansas.
Information and Telecommunication Technology Center
The University of Kansas
Nichols Hall
2335 Irving Hill Rd
Lawrence, KS 66045
Email Me
Office
136 Nichols Hall (ITTC)
Contact
785.864.7741 (Voice ITTC)
785.864.0387 (FAX ITTC)
perry_alexander (skype)
public key (send email for fingerprint)
Electrical Engineering and Computer Science Department
The University of Kansas
2001 Eaton Hall
1520 West 15th Street
Lawrence, KS 66045-7621
Email Me
Office
2022 Eaton Hall (EECS)
Contact
785.864.8833 (Voice EECS)
785.864.3226 (FAX EECS)
perry_alexander (skype)
public key (send email for fingerprint)
Research Interests
Research interests include applied formal methods, system-level design, design and specification language semantics, and component retrieval. For more information, visit my interests and projects pages.
Potential Students
Students working on projects in the ITTC Systems Level Design Group are engaged in funded research across a spectrum of projects. Please visit my RA Information page to learn more about joining my research group.
Teaching Interests
Teaching interests include formal methods, programming languages and semantics, digital systems design and software engineering. For more information, visit my teaching pages.
Schedule
My office hours this semester are 3:00-4:00 TR in 2022 Eaton. Please feel free to make an appointment if these times don't work for you.