PeopleofSuperintelligence

Lab

Lean Focused Research Organization

Part of Convergent Research.

Statistics

People here now
18
People ever
18
Citations of current people
14,069
Median h-index of current people
7

Our research follows 7,547 researchers, builders, lab leaders and public voices through cited biographies. Missing career records can lower counts. Outdated roles can overstate current counts and change ranks. Citation figures count 6 of the 18 people here now. People whose OpenAlex record may be incomplete or mixed are left out. Publication numbers from OpenAlex, as of 22 October 2026. Career and profile data as of 22 October 2026.

We estimate that 18 people shaping AI have worked at Lean Focused Research Organization, and all 18 hold current roles here. As part of Convergent Research, Lean Focused Research Organization accounts for 18 of its 19 all-time people (95%) and 18 of its 19 current people (95%). Among 628 labs, the group is tied for 8th on current people and tied for 25th on all-time people. Knowledge, logic and reasoning leads 2 areas of expertise (17 of 18 people with profile topics), and researchers make up 15 of the 18 people here now (83%). In dated work stints through 2025, active headcount rose from 3 in 2023 to 4 people in 2024–2025.

Researchers make up 15 of the 18 people here now (83%), and “theorem proving” leads profile topics (13).Roles, current affiliations, profile topics, and recorded birth countries (1 known) and birth years (1 known) for the 18 people here now.

A summary of current people at Lean Focused Research Organization. It shows roles, affiliations, profile topics and birth countries known for 1 person. The median birth year uses 1 person.

Role categories

  • Research15
  • Builders3

Current affiliations

  • Lean Focused Research Organization18

Top profile topics

  • theorem proving13
  • formal mathematics12
  • formal verification7
  • ai for mathematics4
  • language models4

Birth countries

Known for 1 of 18 people now.

  • Germany1

Median birth year

1985 (1 person)

Source: People of Superintelligence profiles, current career records and recorded birthplaces, as of 22 October 2026.

Data table
MeasureValuePeople
RoleResearch15
RoleBuilders3
Current affiliationLean Focused Research Organization18
Profile topictheorem proving13
Profile topicformal mathematics12
Profile topicformal verification7
Profile topicai for mathematics4
Profile topiclanguage models4
Birth countryGermany1
Birth country coverage1 of 18 people now1
Median birth year19851

The annual headcount series runs through 2025 (4 active work stints); the 18 people here now also include 2 who started in 2026 and 11 whose current role has no recorded start year.

Active work stints peaked at 4 people in 2024–2025, up from 3 in 2023.Annual estimates from 2023 through 2025. Each person counts once per year with a dated work stint; degrees and undated roles are excluded.

A stacked column chart of our yearly estimates at Lean Focused Research Organization from 2023 to 2025. Each person counts once in each year with an active work stint.

Source: People of Superintelligence dated career stints, as of 22 October 2026.

Data table
YearOtherPeople
202333
202444
202544

Compared with peer labs, Lean Focused Research Organization ranks higher on current headcount (tied for 8th of 628) than on all-time headcount (tied for 25th); 18 of its 18 all-time people (100%) hold a current role here. Across work histories (excluding degrees), 10 of the 18 people who have worked at Lean Focused Research Organization (56%) also held a work role at another organization, connecting Lean Focused Research Organization to 27 peer institutions. Among the 6 current people with confident OpenAlex author records, combined citations reach 14,069 and the median h-index is 7 (combined h-index 70, tied for 59th among 152 counted labs); Leo de Moura leads by citations (12,771).

Among 628 labs, Lean Focused Research Organization is tied for 8th on current people (18) and tied for 25th on all-time people (18).Standing across all organizations and organizations of the same type on current people, all-time people and combined h-index of current people. Ties share a rank.

A table compares Lean Focused Research Organization with 8827 organizations and 628 organizations of the same type for current people, people ever and combined h-index where available.

People now

18 people

tied for 77th of 8,827 organizationstied for 8th of 628 labs

People ever

18 people

tied for 335th of 8,827 organizationstied for 25th of 628 labs

Combined h-index of people now

70 across 6 people

tied for 682nd of 1,834 organizationstied for 59th of 152 labs

Source: People of Superintelligence organization membership and confident OpenAlex statistics, as of 22 October 2026.

Data table
MeasureValueAll organizationsSame type
People now18tied for 77th of 8,827tied for 8th of 628
People ever18tied for 335th of 8,827tied for 25th of 628
Combined h-index of people now70 (6 people)tied for 682nd of 1,834tied for 59th of 152
Karlsruhe Institute of Technology shares the largest career overlap with Lean Focused Research Organization, at 3 of 10 people with work records elsewhere.Organizations where people with work records at Lean Focused Research Organization also worked at any time in their careers (10 people across 27 organizations; degrees excluded).

A ranked chart shows 5 organizations with people who also have work records at Lean Focused Research Organization. Each count is a distinct person with work stints at both organizations.

Source: People of Superintelligence affiliations and work stints, as of 22 October 2026.

Data table
OrganizationShared people
Karlsruhe Institute of Technology3
University of California, Berkeley2
University of Pennsylvania2
Amazon1
Australian National University1
The 5 most cited current people—led by Leo de Moura (12,771 citations)—account for 99.9% of 14,069 recorded citations.Share of 14,069 total citations across 6 of 18 current people with confident OpenAlex author records (median h-index 7).

A stacked bar shows that the 5 most cited current people account for 99.9% of 14,069 recorded citations. The data table links to their profiles.

Source: People of Superintelligence confident OpenAlex citation statistics, as of 22 October 2026.

Data table
PersonCitationsShare
Leo de Moura12,77190.8%
Sebastian Ullrich7085.0%
Emilio Jesús Gallego Arias5163.7%
David Thrane Christiansen570.4%
Sebastian Graf90.1%
Everyone else80.1%
All counted current people14,069100%

People here now

The 18 people with a current role at Lean Focused Research Organization include 15 researchers and 3 builders. Earlier in their careers, 10 of the 18 held a work role at another organization, most often at Karlsruhe Institute of Technology (3). Outside degrees among current people come most often from Karlsruhe Institute of Technology (5). 3 current people also hold a concurrent affiliation outside Lean Focused Research Organization.