09/11/2020: Professor of Symbolic Computation