معرفی
Egidio Astesiano is Professor of Computer Science at the Department of Computer Science and Information Science (DISI), University of Genova, where he served as Director since the department's foundation in 1992. He played a pivotal role in establishing Genova's Computer Science program in 1986 and remains actively engaged in European formal methods initiatives including the CoFI Common Specification Framework.
His research centers on formal specification techniques with emphasis on algebraic methods for concurrent and reactive systems. Key contributions include foundational work on SMoLCS-driven concurrent calculi, bisimulation in algebraic specifications, and dynamic data type models like D-oids. Current interests focus on integrating formal methods with UML and bridging theoretical frameworks with practical software development processes.
Analysis of his 1992-1999 publications reveals consistent innovation in specification methodologies, particularly for concurrency and reactive systems. His work demonstrates strong industry-academia collaboration through ESPRIT, HCM, and Ada FD projects, often translating theoretical constructs into verifiable system specifications for real-world applications like telecommunications and distributed computing.
Astesiano founded Genova's Formal Methods research group in the early 1980s, which led major European projects including ESPRIT DRAGON and COMPASS. He coordinates the Reactive Systems Task Group within CoFI and maintains leadership roles in IFIP working groups 2.2 and 14.3, steering AMAST and ETAPS conferences while serving on editorial boards for Science of Computer Programming, Theoretical Computer Science, and Formal Aspects of Computing.
