Christopher Hahn is a Visiting Assistant Professor in Computer Science at Stanford University. His research interest lies in the intersection of deep learning and formal methods. He received a PhD (Dr. rer. nat) in Computer Science from Saarland University in 2021, where he was advised by Bernd Finkbeiner. He received a BSc and MSc with distinction in Computer Science from Saarland University. He currently serves as a PC member for IJCAI and ICML. His RV'17, CAV'18, and TACAS'19 papers received an invitation to journal special issues in FMSD, ACTA and STTT, respectively. His teaching efforts at Saarland University have been awarded with the Busy Beaver and BESTE award.