From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, and was hired as a full professor of the Tel Aviv University (School of Computer Science) in 1998.
[2] He received the Herbrand Award for Distinguished Contributions to Automatic Reasoning in 2011.
He has co-authored the standard text on calendar algorithms, Calendrical Calculations, with Edward Reingold.
[3][4][5][6] An implementation of the algorithm in Common Lisp is in the public domain, and is also distributed with the book.
You can help Wikipedia by expanding it.This biographical article relating to a computer specialist is a stub.