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)
