News & Events

---

Radhia Cousot Award

Zvonimir Pavlinovic, a doctoral student working with Thomas Wies, has been awarded the Radhia Cousot Young Reseacher Best Paper Award for his paper (with Kedar Namjoshi) "The Impact of Program Transformations on Static Program Analysis". Congratulations!