!!Davide Sangiorgi
__
Short Biography and activities__

*Laurea (Master) in Computer Science, University of Pisa, 1987.
*PhD in Computer Science, University of Edinburgh, 1993. Advisor: Prof. Robin Milner
*Program committee member, several times, of the most important conferences in programming languages and concurrency theory, see the candidate web page ([http://www.cs.unibo.it/~sangio]) for details.
*Lecturer in 13 (summer or winter) international schools for PhD students and young researchers, in Europe, South America, Asia (average: 8-10 hours of teaching per school).
*Site leader in 3 large EU projects and various national projects. 
*Principal investigator in a few bilateral projects (France-USA, France-Germany, France-Italy).
*PhD supervision for 10 students (in France and Italy). Currently supervisor of 3 students.
*Examiner of PhD thesis in various countries
*Member of a number of selection committees for Professor and Lecturer positions, in Italy and France.
*Founder and Head of a joint laboratory between INRIA (France) and University of Bologna (Italy), with 15 people as permanent or non-permanent scientists. It is the first such initiative of INRIA in a foreigner university
*Co-initiator (2005) of the annual international conference serie "Trustworthy Global Computing" proceedings by Springer Verlag. Chairman for first edition.
*Chairman of the 1998 edition of the International Conference on Concurrency Theory 
*Editorial board member of the journals: Logical Methods in Computer Science, Acta Informatica, Distributed Computing
*Invited speakers in the major conferences in programming languages and concurrency, including:
**ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
**IEEE Symposium on Login in Computer Science
**European Joint Conferences on Theory and Practice of Software
**International Conference on Concurrency Theory
**Intern. Conference on the Mathematical Foundations of Programming Semantics
**Federated conferences on Distributed Computing Techniques
**International Conference on Software Engineering and Formal Methods; International Symposium on Fundamentals of Software Engineering; International Symposium on Formal Methods for Components and Objects
**International Workshop on Expressiveness in Concurrency
**Nordic Workshop on Programming Theory
**Workshops on Foundations of Object-Oriented Languages Reviewer, EU projects, national projects (several countries)