Earl Barr is a professor of software engineering at the University College London. He received his PhD at University California Davis. Earl’s research interests include artificial intelligence for software engineering (and vice versa), debugging, testing and analysis, game theory, and computer security. His recent work focuses on probabilistically quantifying program equivalence, probabilistic type inference, and dual channel constraints. With the exception of a pandemic-imposed hiatus, Earl dodges vans and taxis on his bike commute in London.