Jeremy AvigadJeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and istory of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University. Read More Read Less