EDUCATION

1941

Born in Dogliani (Cuneo), Italy

1966

Degree in Physics at University of Rome

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

Advisor: Prof. Corrado Böhm

Positions and teaching activity

1966-1974

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

1974-1980

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

1974-1980

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

1980-1990

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

1990-today

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

Courses taught

Compilers and operating systems

Formal languages

Foundations of Computer Science

Algorithms and data structures

Programming

Discrete optimization and complexity

Editorial responsibility and organization of scientific events

1972-1990

Member of the Editorial Board of "Calcolo"

1983-2000

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

2001-today

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

1984-today

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

1997-today

Member of the Advisory Board of the Electronic Journal of SADIO

1976

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

1978

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

1979

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

1981

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

1982

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

1983

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

1983

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

1986

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

1989

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

1996

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

1996

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

2000

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

2002

General Chairman of ALGO 2002, Rome, Italy

2001 - today

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

2005 - today

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

Participation to Program Committees of most of the the main international conferences in Theoretical Computer Science
   
Honors

1996

Elected member of Academia Europaea.

2004

Doctor Honoris Causa from University of PARIS-Dauphine.

Other responsibilities

1972

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

1979-1982

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

1979-1984

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

1983-1999

Member of the Engineering Committee of the National Research Council

1988-1994

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

1988-1994

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

1988-1994

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

1994-1999

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

1997-1999

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

1997-2000

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

1997-2002

Chairman of IFIP-TC1 on Foundations of Computer Science

1998-today

Member of the Council of EATCS

2006-today

President of EATCS