Alberto Pettorossi received the Laurea Degree in Electronic Engineering on 1971 
from the University of Roma "Sapienza". In 1984 he received the Ph.D.
degree in Computer Science from Edinburgh University (Scotland).
From 1975 until 1988 he has been a research worker of the Italian National 
Research Council. Since 1988 until 2005 he has been associate professor of
Theoretical Computer Science at the University of Rome "Tor Vergata".
On 2005 he became full professor at that university.

The research activity of Prof. Pettorossi has been mainly concerned with
the development of methodologies for the transformation, derivation,
verification, and synthesis of correct and efficient programs, both in 
the area of functional programming and in the area of logic and concurrent
programming.
Prof. Pettorossi was also interested in rewriting systems and algebraic-categorical
semantics of concurrent programs. Currently, together with his collaborators, among
whom is Dr. Maurizio Proietti of IASI-CNR (Rome, Italy), he is interested 
in the development of powerful techniques for proving properties of 
distributed programs and, in general, of infinite state systems, 
by applying the program transformation methodology.

He is author or coauthor of about one hundred and ten scientific papers.
He has written a few chapters of scientific books and he has been the editor
of three books.

Prof. Pettorossi is a member of the IFIP Working Group 2.1 on
programming languages. He took part in various scientific projects
with national and international institutes, and among them, Edinburgh University
(Scotland), University of Warsaw (Poland), and the IASI-CNR 
Institute in Rome. He has been member of various international committees for
doctorate degrees, faculty positions, and research grants.
He is editor of the Fundamenta Informaticae Journal. He is vice-president
of the Italian GULP Association (Users and Researchers on Logic Programing).
He took part in many programme committees for national and international
congresses and he has been referee of various international magazines.
He has been invited speaker and programme chairman for some international 
conferences. In 1988 he has received, together with Prof. Andrzej Skowron, 
a price of the Polish Mathematical Society.
He has taught courses of Elements of Programming, Algorithms and Data Structures,
Compilers, Programming Methodologies, Theoretical Computer Science, Object Oriented
Programming, Concurrent Programming, Semantics of Programming Languages.