Christian Szegedy is a research scientist at Google. He is known for the first paper on adversarial examples, batch-normalization and the Inception architecture for computer vision. He has also worked on pose estimation and object detection. His current work is focused on AI assisted theorem proving, especially formal mathematics in higher order logic.