a small photo
with Jan Rutten -- the elder one --
in occasion of Jan's retirement
[Previous picture in this page] 		Davide Sangiorgi
Professor ("Professore Ordinario") of Computer Science
Research Team OLAS (previously: FOCUS ), joint team between University of Bologna and Inria
Department of Computer Science
University of Bologna (Italy)
Information  Research  Professional activities  Teaching  Miscellaneous 
Letters  Information
  • How to reach me (email, phone, car ...) 
  • Previously held positions: INRIA, France ("Charge' de Recherche", "Directeur de Recherche"); University of Edinburgh, UK (PhD, "Research Associate") .
  • A short CV   ( here in italian )
Calculations  Research
  • Research interests: Concurrent systems, especially mobile and higher order: semantics, verification techniques. High-level languages for specifying and programming concurrent activities. Systolic automata and systems. 
  • Books:
    - The pi-calculus: A Theory of Mobile Processes , Cambridge University Press, 2001. (The first draft of this book has been my "habilitation" document, University of Paris VII)
    - Introduction to Bisimulation and Coinduction, Cambridge University Press, 2012.
    - Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012.
      (Here is a joint preface for the two books above)
  • Papers: Bibliography , from the DBLP Bibliography Server.
  • The OLAS Research Team
  • Research projects (to be updated...): Sensoria (Software Engineering for Service-Oriented Overlay Computers, EU-funded Integrated Project); Hats (Highly Adaptable and Trustworthy Software using Formal Models, EU-funded Integrated Project); PACE ("beyond plain Processes: Analysis techniques, Coinduction and Expressiveness")
Calculations  Professional activities
insegnamenti  Teaching 
Ricevimento studenti: Giovedi 14.00-15.00
A face  Miscellaneous
A colored line
Davide.Sangiorgi AT cs DOT unibo DOT it