Andrea Maggiolo Schettini has received a laurea degree in Physics from the University of Genova discussing a thesis on design and realization of a neutron counter. As a researcher of the Italian National Institute for Nuclear Physics (I.N.F.N.) in Bologna he has worked from 1966 to 1968 on reconstruction with minimum guidance of tracks in bubble chambers. Then he became interested in Computer Science and from 1968 to 1981 he has been a researcher of the National Research Council (C.N.R.) in Naples and in Pisa. From 1981 to 1983 he has been full professor of Computer Science at the University of Turin, and since 1983 he is full professor of Computer Science at the University of Pisa. He has spent periods as a guest researcher at IBM Research Laboratory in Yorktown Heights, at GMD in Bonn, at the Polish Academy of Sciences in Warsaw, and at the Universities of Paris VI and Paris VII. His research interests include computability theory, semantics of programming languages, specification and verification of concurrent and distributed systems, security of real time systems. A more recent interest is the application of formal methods to biology. He is the author of about 100 papers published in international journals and conference proceedings. He has been responsible of national projects on subjects of basic research supported by the Italian Ministry for Education and by the National Research Council. He has been director of the Department of Computer Science in Pisa from 1983 to 1986 and deputy director from 1989 to 1996. From 1996 to 2006 he has been director of the Ph. D. Program in Computer Science of the University of Pisa. From 2002 to 2005 he has been director of the Graduate School in Basic Sciences "Galileo Galilei".