Legkiemelkedőbb eredménye a Szabó Endrével közös szorzattétele, amelyet 2010-ben gyakorlatilag egyszerre, de egymástól függetlenül hoztak nyilvánosságra a Fields-érmesTerence Taóval és munkatársaival. Ennek a csoportelméleti tételnek messzemenő következményei vannak a nemkommutatív számelméletben.
Igazolta azt az Erdőstől és Gallaitól származó sejtést, hogy minden n csúcsú egyszerű gráf élhalmaza előállítható legfeljebb n-1 kör és él egyesítésével.
Igazolta, hogy ha G kétszeresen tranzitív n-edfokú permutációcsoport, ami nem tartalmazza -et, akkor minimális bázisának b(G) nagyságára teljesül.
Becslést adott az n-edrendű csoportok számára. Eszerint, ha n prímfelbontása és , akkor a nemizomorf n elemű csoportok száma legfeljebb
Igazolva McKay sejtését, Łuczakkal 1993-ban belátta hogy minden -ra létezik olyan c konstans, hogy minden elég nagyn-re c véletlenszerűen választott elem -nál nagyobb valószínűséggel generálja az szimmetrikus csoportot.
Ugyancsak Łuczakkal igazolta Cameron-sejtését, hogy majdnem minden eleme nem tartozik -től és -től különböző tranzitív részcsoporthoz.
Felállította azt a sejtést, hogy majdnem minden véges csoport nilpotens. Ha ez igaz, akkor a legtöbb véges csoport 2-csoport.
A részcsoport-növekedés egyik fontos problémáját megoldva belátta, hogy minden nemcsökkenő g(n)≥log(n) függvényre van olyan 4 elemmel generált reziduálisan véges csoport aminek a növekedési típusa .
Igazolta azt az Erdőstől származó állítást, hogy elegendően nagy n esetén minden n pontú gráf és komplementere együttesen lefedhetők legfeljebb klikkel.