Hebron & Medlock Professor of Information Technology, University of Bath

Research interests include computer algebra, especially symbolic integration and simplification, equation solving, electronic mathematical publishing and "mathematics on the (semantic) Web", robot motion planning and cryptography, especially cracking US public-key cryptosystems. He has also published in complexity theory, type theory and in networking. Outside interests include examining French PhDs.

Experience

  • –present
    Hebron & Medlock Professor of Information Technology, University of Bath