Nachum Dershowitz is Professor of Computational Logic and current chairperson of the Department of Computer Science at Tel Aviv University, where he has been since 1998, with graduate degrees in applied mathematics from the Weizmann Institute. His research interests include software verification in general and termination of programs in particular, equational inference and term rewriting, natural language processing, and the analysis of historical manuscripts. He has authored or coauthored more than 100 research papers and several books and has held visiting positions at prominent institutions around the globe. He has won numerous awards for his research and teaching, including the Xerox Faculty Award (1986), the Herbrand Award for Distinguished Contributions to Automated Reasoning (2011) and “Test­ of­ Time” awards from the IEEE Symposium on Logic in Computer Science (2006), the International Conference on Rewriting Techniques and Applications (2014), and the International Conference on Automated Deduction (2015). He was elected to Academia Europaea in 2013.