Breadcrumb Home Research and Creative Work Verifiable, Dependable, and High-Performance Systems Verifiable, Dependable, and High-Performance Systems Faculty Specializing in this Area Octav Chipara, Ph.D. Associate Professor Steve Goddard, Ph.D. Professor Peng Jiang, Ph.D. Assistant Professor Guanpeng Li, Ph.D. Assistant Professor J. Garrett Morris, Ph.D. Assistant Professor Rishab Nithyanand, Ph.D. Assistant Professor Suely Oliveira, Ph.D. Professor Supreeth Shastri, Ph.D. Assistant Professor Aaron Stump, Ph.D. Professor Cesare Tinelli, Ph.D. F. Wendell Miller Professor