Speaker
Clark Barrett
Stanford University
Short Bio: Clark Barrett is a Professor (Research) of Computer Science at Stanford University. His expertise is in automated reasoning and its applications. He was an early pioneer in satisfiability modulo theories and formal hardware verification. More recently, he has also pioneered techniques for applying formal methods to neural networks. He is the director of the Stanford Center for Automated Reasoning (Centaur) and co-director of the Stanford Center for AI Safety. He is an ACM Distinguished Scientist and a winner of the 2021 Computer Aided Verification (CAV) award.