Alessandro Berarducci

Curriculum vitae
Alessandro Berarducci
(2011)

Personal

Born in Roma, Italy, 11th June, 1958. Nationality: Italian.
Office address: Universit`a di Pisa, Dipartimento di Matematica, Largo Bruno
Pontecorvo 5, 56127 Pisa, Italy. Tel. 050-2213261, Fax: /224.
Home address: Via Cavalca 36, 56127 Pisa.
Current position: Full professor, Universit`a di Pisa.
E-mail: berardu at dm.unipi.it
URL: http://www.dm.unipi.it/˜berardu/

Education

• (1978–83) Laurea degree in mathematics, Universit`a di Roma “La Sapienza”
(degree conferred 11th May 1983) Title of dissertation: Functional pro-
gramming and representability in systems of Combinatory Logics. Thesis
advisor: Prof. Corrado B¨ohm. Grade: 110/110 cum laude.
• (1983–84) Graduate School of Mathematical Logic, Siena, Italy.
• (1984–1989) Ph.D. in Mathematics, University of California at Berkeley.
Degree conferred: 23rd May, 1989. Title of the dissertation: The in-
terpretability logic of Peano Arithmetic. Thesis advisor: Prof. Robert
Solovay.

Career

• (Aug 1984 - May 1989) University of California at Berkeley. Research
Assistant (Fall 84), Teaching Assistant (Fall 85, Spring 86, Spring 87, Fall
87), Associate (Spring 88, Fall 88), Research Assistant (Spring 89).
Teaching: calculus, discrete mathematics, mathematical logic.
• (Jan. 1990 - Nov. 1992) RESEARCHER (“Ricercatore universitario”),
University of L’Aquila (Italy), Department of Mathematics.
Teaching: mathematical logic, mathematical methods for computer science.
• (Nov. 1992 - 2001) ASSOCIATE PROFESSOR, University of Pisa, De-
partment of Mathematics.
Teaching: Various courses of Mathematical Logic (laurea program in math-
ematics, 1992-2001), Logic (laurea program in computer science, Nov.
1994 - Nov. 1997).
• (Jan. 2001 - present) FULL PROFESSOR, University of Pisa, Department of
Mathematics.

Professional activities (2007-present)

• Member of the editorial board of “Logic and Analysis” (2007-2008).
• Member of the editorial board of “Journal of Logic and Analysis” (suc-
cessor of “Logic and Analysis”), 2008-present.
• (2008-present) Member of the editorial board of the “Journal of Symbolic
Logic”, Coordinating editor since 2013.
• Member of the Program Committee of the Logic Colloquium 2008, July
3-8 (2008) Bern. http://www.lc08.iam.unibe.ch/
• Member of the Program Committee of WoLLIC 2011, 18th Workshop on
Logic, Language, Information and Computation, May 18th to 21st, 2011,
University of Pennsylvania, Philadelphia, USA. http://wollic.org/wollic2011/
• XIX congresso UMI, Coordinator of the session in Mathematical Logic,
http://umi2011.dm.unibo.it/