oint ▁Policy ▁Board ▁for ▁Mathemat ics ▁Communic ations ▁Award , ▁ 2 0 0 1 ▁ ▁In ▁ 2 0 0 7 ▁he ▁received ▁Wonder fest ' s ▁Carl ▁S agan ▁Prize ▁for ▁Science ▁Popular ization . ▁▁ 2 0 0 4 ▁International ▁P yth ag or as ▁Prize ▁in ▁Mathemat ics , ▁in ▁the ▁category ▁Best ▁Ex pository ▁Text ▁in ▁the ▁Mathemat ical ▁Sciences ▁for ▁the ▁Italian ▁translation ▁of ▁The ▁Mill en ni um ▁Problem s ▁ ▁Fellow ▁of ▁the ▁American ▁Mathemat ical ▁Society , ▁ 2 0 1 2 ▁ ▁Bibli ography ▁Articles ▁ ▁[ First ▁proof ▁of ▁J ensen ' s ▁covering ▁theorem ; ▁Keith ▁J . ▁Dev lin ▁is ▁cred ited ▁as ▁Keith ▁I . ▁Dev lin ▁in ▁the ▁paper .] ▁ ▁Books ▁▁ ▁with ▁co author ▁Gary ▁Lord en ▁ ▁References ▁ ▁External ▁links ▁▁ ▁including ▁his ▁curr icul um ▁vita e ▁ ▁Dev lin ' s ▁Ang le ▁— ▁column ▁at ▁the ▁Mathemat ical ▁Association ▁of ▁America ▁ ▁Category : 1 9 4 7 ▁birth s ▁Category : L iving ▁people ▁Category : Al umn i ▁of ▁King ' s ▁College ▁London ▁Category : Al umn i ▁of ▁the ▁University ▁of ▁Br istol ▁Category : Set ▁the or ists ▁Category : St an ford ▁University ▁staff ▁Category : 2 0 th - century ▁British ▁mathemat icians ▁Category : 2 1 st - century ▁British ▁mathemat icians ▁Category : Math emat icians ▁from ▁King ston ▁upon ▁H ull ▁Category : F ell ows ▁of ▁the ▁American ▁Mathemat ical