He made a number of conjectures in diophantine geometry: Mordell-Lang conjecture, Bombieri-Lang conjecture, Lang's integral point conjecture, Lang-Trotter conjecture, Lang conjecture on Gamma values, Lang conjecture on analytically hyperbolic varieties.
He introduced the Lang map[REF] and the Lang-Steinberg theorem (cf.