Lei Song vil forsvare sin PhD afhandling "Probabilistic Models and Process Calculi for Mobile Ad Hoc Networks" i Aud. 2, kl. 13.