Assistant Professor

Eindhoven University of Technology

MetaForum, room 6.082  

De Zaale, 5612 AZ  Eindhoven, The Netherlands

e-mail: vale DOT castiglioni AT gmail DOT com

                 v.castiglioni AT tue DOT nl


Research Interests

My research activity is mainly focused on formal methods for concurrent systems. In particular, I am interested in:

Invited talks