Professor of Symbolic Computation