Warren P. Alexander


Perry Alexander
  • AT&T Distinguished Professor
  • School of Engineering
  • Electrical Engineering & Computer Science

Contact Info

Office Phone:
Office Phone Second:
Eaton Hall, room #2022
Nichols Hall, room #208
University of Kansas
1520 West 15th Street
Lawrence, KS 66045

Biography

Research

My principle research area is formal methods application to system-level design. A formal method in software and systems engineering is any methodology based on sound mathematical principles. As society becomes increasingly dependent on computer systems, such mathematical approaches underlie tools that assure desired properties for the reliable, secure, and trustworthy systems we demand. I strive to make formal techniques prevalent in system design through: (a) development of pragmatic, engineering methodologies; (b) development of prototype languages and engineering tool sets; and (c) introducing formal methods into the software and systems engineering curriculum.