Information and Telecommunication
Technology Center
The University of Kansas
Nichols Hall
2335 Irving Hill Rd
Lawrence, KS 66045
alex at ittc dot ku dot edu
136 Nichols Hall (ITTC)
785.864.7741 (Voice ITTC)
785.864.0387 (FAX)
perry_alexander (skype)
public key (send email for fingerprint)
The University of Kansas
Nichols Hall
2335 Irving Hill Rd
Lawrence, KS 66045
alex at ittc dot ku dot edu
136 Nichols Hall (ITTC)
785.864.7741 (Voice ITTC)
785.864.0387 (FAX)
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
palexand at eecs dot ku dot edu
2022 Eaton Hall (EECS)
785.864.8833 (Voice EECS)
The University of Kansas
2001 Eaton Hall
1520 West 15th Street
Lawrence, KS 66045-7621
palexand at eecs dot ku dot edu
2022 Eaton Hall (EECS)
785.864.8833 (Voice EECS)
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
With three offices in two buildings and at home, I can be hard to find. Check my online schedule to see where I might be.
Teaching interests include formal methods, programming languages and semantics, digital systems design and software engineering. For more information, visit my teaching pages.
Schedule
With three offices in two buildings and at home, I can be hard to find. Check my online schedule to see where I might be.
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.
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.
