Formal Methods

Formal Methods

Howard A. Blair Verification and validation of hybrid systems, quantum information and computation.

Shiu-Kai Chin Design and verification of trustworthy systems.

Robert Irwin Generalized dynamical systems, Computability and complexity, Quantum computation, History of computing.

Susan Older Developing and using specialty logics to reason about complex system behavior, such as concurrency or security.

James Royer Time and space computational complexity for higher type computability and computation over co-inductive structures. Foundations for formal reasoning about computation complexity.

Faculty