معرفی
GianLuigi Ferrari is a Professor in the Computer Science Department at the University of Pisa. His research focuses on semantic theories for concurrent programming, specification languages, and distributed network programming. He has led projects such as ASCENS (EU FP7), RUPOS (Tuscany Region-funded), and TESLA (security enforcement in languages).
- Education: Formal qualifications not explicitly listed, but inferred to hold terminal degree in Computer Science
Research interests emphasize developing semantic-based verification environments and programming languages optimized for distributed systems. Current projects address autonomic service-component ensembles and usability of service-oriented platforms.
Teaching responsibilities include Advanced Programming (Master's), Programazione II (Bachelor's), and previous courses in Computer Networks, Software Verification Methods, and Decision Support Systems. Teaching materials available via institutional links.
