Dipartimento di Informatica e Scienze dell'Informazione
Egidio Astesiano Short Info (July 2000)
Professor of Computer Science at the Faculty of Science
of the University of Genova
Early work on partial differential equations, pattern recognition,
computer assisted education
Since 1972, working on formal (algebraic, denotational, operational)
semantics of programming languages, specification of concurrency, foundations
of algebraic specifications, methodological aspects and case studies in the
specification of reactive and concurrent systems
Author/coauthor of over seventy published papers; editor/coeditor of three
volumes of LNCS; coeditor of an IFIP State of the Art book on Foundations of
Information Systems Specifications
Current main research interests: formal specification and verification of concurrent
systems, integration of formal and informal methods in the software development process,
in particular UML (see selected papers)
IFIP WG 2.2 (Formalization of programming concepts)
IFIP WG 14.3 (Foundations of system specifications)
editorial board of Formal Aspects of Computing (Springer)
editorial board of Theoretical Computer Science (Elsevier)
Scientific Board of the AMAST series (World Scientific)
( AMAST is the USA-Europe initiative for Algebraic Methods and
Applications to Software Technology)
Steering Committee of AMAST
Steering Committee of ETAPS (European Joint Conference on Theoretical and Practical
Aspects of Software)
Chairman, invited speaker and PC member of various international events; among
the most recent ones: Chairman of ETAPS/FASE '99 (Lisbon, 1998), Invited Speaker
at TAPSOFT'97 (Lille, 1997), Invited Speaker at AMAST 2000 (USA, Iowa), PC Member
of the First IFIP Conference on Theoretical Computer Science TCS2000 (Sendai,
Japan, August 2000)
Founder, at the beginning of the 80's, of a research group in Formal
Methods actively engaged in many national and international projects with
academy and industry, among which MAP project ADA FD for the full formal
definition of Ada (where he was responsible for the definition method),
ESPRIT project DRAGON (led by TXT), a four year project with ENEL (the
national italian electricity company) on algebraic methods applied to
concrete case studies, ESPRIT- BR WG COMPASS 1 and 2, ESPRIT-BR WG ISCORE,
HCM MEDICIS, HCM EXPRESS.
Leading the initiatives for establishing, since 1986, the program in Computer
Science studies and, since 1992, the Department of Computer and Information
Sciences (DISI) of the University of Genova.
Director of DISI since its foundation.
In the years 1996-2000 he has served as President of GRIN, the National Association of University
Researchers in Informatics.
Also Coordinating the special Task Group on AICA 2000, namely the establishment
of the new Italian Computer and Telecommunication Society.
Dipartimento di Informatica e Scienze dell'Informazione
