Noga Alon to Receive Nerode Prize