Kenneth Foner, With an exceptional h-index of 3 and a recent h-index of 2 (since 2020), a distinguished researcher at University of Pennsylvania, specializes in the field of Programming Languages, Type Systems, Functional Programming, Haskell, Verification.