Jan-Christoph Küster, With an exceptional h-index of 7 and a recent h-index of 5 (since 2020), a distinguished researcher at Australian National University, specializes in the field of Runtime verification, (first order) temporal logics, automata theory, formal methods, Android security.