معرفی
Roberto Barbuti is a Full Professor at the Department of Computer Science, University of Pisa. He has held this position since 2000, following roles as Assistant Professor (1982–1989) and Associate Professor (1989–2000). His research focuses on Formal Methods in Systems Biology, Process Algebras, and computational models of biological systems. He leads the research group on Modelling, Simulation and Verification of Biological Systems.
Education: Born in San Giuliano Terme (Pisa), Italy, on August 10, 1953, he earned a Master's in Computer Science from the University of Pisa in 1977. He was a Research Fellow at the Istituto per l'Elaborazione dell'Informazione, CNR, Pisa (1977–1982).
Teaching: He teaches Programming 1 and Laboratory courses, with detailed exam regulations requiring written and laboratory components. His teaching materials include lecture notes on recursion theory, functional programming in Caml Light, and formal semantics of the C language.
Awards and Grants: No specific scientific awards or grants mentioned in the text.
Labs/Teams: Leads the research group on biological systems modelling and simulation.
