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
Direttore (pro tempore) Scuola di Specializzazione in Medicina del Lavoro, Univ. Bologna
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