Davide Sangiorgi#
Membership Number: | 2991 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2011 |
Main Country of Residence: | ITALY |
Homepage(s): | http://www.cs.unibo.it/~sangio |
Present and Previous Positions
- 1 September 2002, Full Professor, Universita' Bologna, Italy
- 1 January 2000 Director of Research, INRIA, France
- 1 July 1995 visiting professor, Cambridge University (5 months)
- 1 January 1995 Researcher INRIA, France
- 1 January 1993 Research Fellow Edinburgh University
- 1 September 1989 PhD student Edinburgh University
Fields of Scholarship
- Computer science
- Theory of concurrent systems
- Theory of distributed systems
- Programming languages for concurrent systems
- Programming languages for distributed systems
Honours and Awards
- Elected in 2005 chairman of IFIP Working Group 2.2 (FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS); this is the second oldest WG in IFIP, and one of the most prestigious. Chairman position confirmed in 2008 for 3 more years
- Member of the Council of the Italian Chapter of the European Association for Theoretical Computer Science (elected in 2003, and then re-elected 3 times)