 His research interest is in elliptic curves.He was the first mathematician (1986) to show that some elliptic curves over the rationals have finite Tate-Shafarevich groups.It is widely believed that these groups are always finite.