Education:

• BSEE The University of Kansas, 1986
• BSCS The University of Kansas, 1986
• MSEE The University of Kansas, 1988
• PhD The University of Kansas, 1992

Teaching:

• Digital systems design
• Programming language semantics
• Formal methods

Service:

• Chair IEEE P1699 Rosetta Working Group
• Past Chair IEEE Engineering of Computer-Based Systems Technical Committee
• Automated Software Engineering Conference Steering Committee Member and Program Committee Member
• Director, Computer Systems Design Laboratory

Research:

• Systems level design
• Formal specification and verification
• IP reuse
• Specification and programming Languages

Affiliations:

• Information and Telecommunications Technology Center

Memberships:

• Senior Member, IEEE.
• Member, IEEE Design Automation Standards Committee
• Member ACM, AAAI, Sigma Xi.

Honors:

• Kemper Teaching Fellow, University of Kansas, 2003
• ASEE Midwest Region Outstanding Educator Award, Fall 2003
• Engineering Expo Teaching Execllence Award, Fall 2000, The University of Kansas.
• College of Engr. Professor of the Quarter, University of Cincinnati, Fall 1998 and Winter 1994.
• College of Engineering Neil Wandmacher Teaching Award, University of Cincinnati, 1997-1998.
• Mortar Board Exemplary Teaching Award, University of Cincinnati, 1996-1997.
• HKN Outstanding Professor of the Year, University of Cincinnati ECECS Dept, 1992-1993 and 1996-1997.
• William E. Restemeyer Teaching Excellence Award, University of Cincinnati ECECS Dept., 1996-1997.
• William H. Middendorf Research Excellence Award, University of Cincinnati, EECS Dept., 1993-1994.

Selected Publications:

• Morel, B. and P. Alexander, “SPARTACAS: Automating Component Reuse and Adaptation,” IEEE Transactions on Software Engineering, 30(9), September, 2004, pp. 587-600.
• Alexander, P., “Integrating Formalism into Undergraduate Software Engineering,” Journal of Systems and Software, 72(3) 2003.
• Kong, C., P. Alexander, and C. Menon, “Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language,” Journal of Universal Computer Science, 9(11), November, 2003.
• Frey, P. and R. Radhakrishnan, H. Carter, P. Alexander, and P. Wilsey, “A Formal Specification and Verification Framework for Time Warp Based Parallel Simulation,” IEEE Transactions on Software Engineering, 28(1), January 2002, pp. 58-78.
• Alexander, P. and C. Kong, “Rosetta: Semantic Support for Model-centered Systems Level Design” IEEE Computer Special Issue on Engineering of Computer-Based Systems, 34(11), November 2001, pp. 64-70.

Patents: