Ralph-Johan Back, With an exceptional h-index of 40 and a recent h-index of 13 (since 2020), a distinguished researcher at Åbo Akademi, specializes in the field of formal methods, programming, program semantics, software engineering, mathematics education.