Born in Dogliani (Cuneo), Italy

Degree in Physics at University of Rome

Dissertation on 'Lambda calculus based programming languages for hybrid computers'

Advisor: Prof. Corrado Böhm

Researcher at Istituto per le Applicazioni del Calcolo (IAC) of the Italian National Research Council (CNR).

Researcher at Centro di studio sui Sistemi di Controllo e Calcolo Automatici of CNR, now Istituto di Analisi dei sistemi e Informatica (IASI).

Associate Professor of Compilers and Operating Systems ("La Sapienza" University)

Full Professor of Compilers and Operating Systems ("La Sapienza" University)

Full Professor of Theoretical Computer Science ("La Sapienza" University)

Compilers and operating systems

Formal languages

Foundations of Computer Science

Algorithms and data structures

Programming

Discrete optimization and complexity

Member of the Editorial Board of "Calcolo"

Member of the Editorial Board of "Theoretical Computer Science - Series A", Elsevier

Editor in Chief of "Theoretical Computer Science - Series A", Elsevier

Member of the Advisory Board of the "Monograph series of EATCS", Springer

Member of the Advisory Board of the Electronic Journal of SADIO

Director of School on "Data and Program Structures" Erice, Italy.

Co-chairman of 5th International Colloquium on "Automata, Languages and programming" (ICALP), Udine, Italy.

Director of School on "Design and Analysis of Algorithms in Combinatorial Optimization", CISM, Udine, Italy.

Director of Advanced Seminar on "Theoretical Issues in Databases" (TIDB), Cosenza, Italy.

Director of Workshop on "Analysis and Design of Algorithms in Combinatorial Optimization", CISM, Udine, Italy.

Chairman of 8th International Colloquium on "Trees in Algebra and Programming" (CAAP), L'Aquila, Italy.

Director of CISM-UNESCO School on "Algorithm Design for Computer Systems Design", Udine, Italy.

Chairman of the First International Conference on Database Theory (ICDT), Roma, Italy

Co-chairman of the 16th Colloquium on Automata, Languages and Programming, Stresa, Italy

Co-chairman of the Workshop on Graph theoretic Concepts in Computer Science,

Co-director of the International School on Approximate Solution of Hard Combinatorial Problems, CISM, Udine, Italy

Co-chairman of IFIP Conference TCS 2000, Sendai, Japan

General Chairman of ALGO 2002, Rome, Italy

Editor in Chief of "Theoretical Computer Science - Series A" (Algorithms and Complexity)

Member of Editorial board of the "International Journal of Foundations of Computer Science"

Elected member of Academia Europaea.

Doctor Honoris Causa from University of PARIS-Dauphine.

Founder of the European Association of Theoretical Computer Science (EATCS).

Director of the Italian National Group on Computer and System Science (GNASII-CNR).

Member of the Scientific Council of the Italian National Project on 'Informatics" of CNR.

Member of the Engineering Committee of the National Research Council

Member of the Scientific Committee of the National Project on "Sistemi informatici e calcolo parallelo"

Chairman of the Scientific Committee of the National Project on "Robotics"

Italian Delegate in the Management Committee of the European research program ESPRIT

Member of the Committee of the National Research Council for Information Science and Technology.

Member of the Scientific Board of the Italian Consortium for Aerospace Reserach

Member of the Board of Trustees of the International Computer Science Institute (ICSI), Berkeley, Ca.,

Chairman of IFIP-TC1 on Foundations of Computer Science

Member of the Council of EATCS

President of EATCS