Simon Thompson, Professor of Logic and Computation retired from the School of Computing on Monday 6 April after more than 36 years at the University of Kent, having joined in 1983 .
Simon has had a distinguished academic career with his research mainly focusing on functional programming, most recently in designing tools to help people to write and test programs more effectively. In particular, together with Huiqing Li, Reuben Rowe and many others, he has bee...