معرفی
Pierpaolo Degano is a full Professor at the Dipartimento di Informatica of Università di Pisa since November 1990. He served as Department Head (1993-1996) and currently chairs the Computer Science PhD program within the Galileo Galilei School of Excellence. His roles include Vice-Chair of the 'Galileo Galilei' School (since 2009), Chairman of the Italian Committee for PhD Programs in Computer Science (since 2007), and member of the Scientific Committee of CoSBi (Microsoft Research - University of Trento Centre for Computational and Systems Biology).
- Education: Extensive academic background inferred from his professorship and leadership roles
Research Interests: Focuses on operational methods in concurrency, semantics of programming languages, security, program verification, and computational models for biological systems. His work bridges theoretical foundations with practical applications in distributed systems and formal methods.
Publications: Over 200 papers on theoretical computer science, including seminal works on concurrency semantics, mobile processes, and security protocols. Recent contributions emphasize causal semantics, abstract machines for performance evaluation, and formal analysis techniques.
Grants & Projects: Led national and EU projects like DEGAS (FET), SENSORIA (FET), and participated in ESPRIT initiatives. Engaged in multiple research collaborations with institutions like Hewlett-Packard and Microsoft Research.
Labs/Teams: Co-director of CoSBi, focusing on computational systems biology, and leader of the Operational Methods in Concurrency research group.
