Per Grape Johan Håstad Marek Karpinski Mats Näslund Alexander A. Razborov Alexander Russell Denis Thérien