Research

Grants

Co-I, FaCT: Faithful Composition of Trust, 204K

Group Members

Mohammad Heydari, Postdoc
Costin Petrescu, PhD