Carol A. Stack

• A passion for proof