Reviewed by ai:codex-identities-ce68394c9be2. Cited publication history or explicit official profile/lab research descriptions, with as-of/source dates. Group research is labeled as group research. No inferred current employment, active projects, individual contribution or unobserved paper results.