Nachum Dershowitz is Professor Emeritus of Computer Science at Tel Aviv University. His research interests are on computational logic, computational humanities and computational health. He is author of The Evolution of Programs, Calendrical Calculations and Calendrical Tabulations, is the recipient of the Herbrand Award and is a member of Academia Europaea.