Howard A. Blair Verification and validation of hybrid systems, quantum information and computation.
Shiu-Kai Chin Design and verification of trustworthy systems.
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.