Professor of Computer Science; Professor of Mathematics.