Awards, Grants, and Patents

He received twice the EATCS Nerode Prize for his contributions to Parameterized Computation.