Italy
Università degli Studi di Udine
Program safety, Rewriting strategies, Rewriting logic, Maude, formal methods