| Faculty |
 |
Interim Director, Professor, EECS
ITTC Lab Affiliation(s)
Computer Systems Design Laboratory
|
| Contact Info |
| Primary Office: |
136 Nichols Hall
ITTC
2335 Irving Hill Rd
Lawrence, KS 66045-7612 |
| Phone: |
(785)864-7741 |
| Fax: |
(785)864-0387 |
|
| Secondary Office: |
2022 Eaton Hall
Department of Electrical Engineering and Computer Science
1520 W 15th St, Univ of KS
Lawrence, KS 66045-7621
|
| Phone: |
(785)864-8833 |
| Fax: |
(785)864-3226 |
|
| Email Address: |
alex@ittc.ku.edu |
| Homepage: |
http://www.ittc.ku.edu/~alex |
|
| Awards |
- 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
|
| Biography |
Education:
- PhD, The University of Kansas, Lawrence, KS, 1992.
- MSEE, The University of Kansas, Lawrence, KS, 1988.
- BSEE, The University of Kansas, Lawrence, KS, 1986.
- BSCS, The University of Kansas, Lawrence, KS, 1986
Teaching:
Software Engineering, Digital Systems Design, Formal Methods
Research Interests:
Systems Level Specification and Analysis, Formal Methods, Component Reuse, Systems Architectures
Work History:
- Professor, EECS Department, The University of Kansas, 2005-present
- Associate Professor, EECS Department, The University of Kansas, 1999-2005
- Associate Professor, ECECS Department, The University of Cincinnati,1998-1999
- Assistant Professor, ECECS Department, The University of Cincinnati, 1992-1998
Professional Affiliations:
- Member ACM
- Member AAAI
- Senior Member IEEE
- Vice Chair, IEEE Engineering of Computer-Based Systems Technical Committee
- Member VHDL International Systems Level Design Language Commmittee
- Chair, Language Working Group
- Member HKN,UPE, and Sigma Xi
|
|
