Welcome to Patricia Johann & Pierre Cagne

We are happy to welcome visiting professor Patricia Johann from Appalachian State University. Patricia will be part of Center for Basic Research in Program Verification (CPV) from August 2021 to January 2022. Along with Patricia is her postdoc Pierre Cagne. We look forward to working with you!