Dinh Viet Dung

Ph.D Student at Department of Computer Science, University of Pisa
E-mail: dinh [at] di [dot] unipi [dot] it
Address: Largo B. Pontecorvo, 3, 56127 Pisa - Italia

My Supervisors: Prof. Chiara Bodei and Prof. Gian Luigi Ferrari

My research interests: Formal Methods in Concurrency and Security.

The draft of my thesis: A language-based approach to distributed resources.

Publications

• Safer in the Clouds (Extended Abstract)(full version). Proceedings of Interaction and Concurrency Experience (ICE 2010), EPTCS 38, p. 45-49, 2010.
• The G-Local Pi Calculus. Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2011), to be published in EPTCS, 2011.
• Predicting global usages of resources endowed with local policies. Proceedings of Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), EPTCS 58, p. 49-64, 2011.

Somes talks

• 10th June 2010, at Amsterdam (Netherlands), Safer in Clouds. slide
• 2nd April 2011, at Saarbrucken (Germany), The G-Local Pi Calculus. slide
• 10th September 2011, at Aachen (Germany), Predicting global usages of resources endowed with local policies. slide

Last update: 17/01/2012.