Warren P. Alexander

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.