 Macintyre and Marek Karpinski have proved several results on 
VC-dimension, which has had applications to theoretical computer science and neural networks.He was elected a Fellow of the Royal Society in 1993.In 2003, he was awarded the Pólya Prize by the London Mathematical Society.