Tom Ridge, With an exceptional h-index of 13 and a recent h-index of 10 (since 2020), a distinguished researcher at University of Leicester, specializes in the field of formal methods, theorem proving, formal verification, programming languages, functional programming.