Professore Ordinario – Dipartimento di Matematica | Tel.: 050 2213261 – Email: alessandro.berarducci@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"5496","unipi-persone-nome":"Alessandro","unipi-persone-cognome":"Berarducci","unipi-persone-email":"alessandro.berarducci@unipi.it","unipi-persone-cv":"Curriculum vitae
\r\nAlessandro Berarducci
\r\n(2011)
\r\n
\r\nPersonal
\r\n
\r\nBorn in Roma, Italy, 11th June, 1958. Nationality: Italian.
\r\nOffice address: Universit`a di Pisa, Dipartimento di Matematica, Largo Bruno
\r\nPontecorvo 5, 56127 Pisa, Italy. Tel. 050-2213261, Fax: \/224.
\r\nHome address: Via Cavalca 36, 56127 Pisa.
\r\nCurrent position: Full professor, Universit`a di Pisa.
\r\nE-mail: berardu at dm.unipi.it
\r\nURL: http:\/\/www.dm.unipi.it\/\u02dcberardu\/
\r\n
\r\nEducation
\r\n
\r\n\u2022 (1978\u201383) Laurea degree in mathematics, Universit`a di Roma \u201cLa Sapienza\u201d
\r\n(degree conferred 11th May 1983) Title of dissertation: Functional pro-
\r\ngramming and representability in systems of Combinatory Logics. Thesis
\r\nadvisor: Prof. Corrado B\u00a8ohm. Grade: 110\/110 cum laude.
\r\n\u2022 (1983\u201384) Graduate School of Mathematical Logic, Siena, Italy.
\r\n\u2022 (1984\u20131989) Ph.D. in Mathematics, University of California at Berkeley.
\r\nDegree conferred: 23rd May, 1989. Title of the dissertation: The in-
\r\nterpretability logic of Peano Arithmetic. Thesis advisor: Prof. Robert
\r\nSolovay.
\r\n
\r\nCareer
\r\n
\r\n\u2022 (Aug 1984 - May 1989) University of California at Berkeley. Research
\r\nAssistant (Fall 84), Teaching Assistant (Fall 85, Spring 86, Spring 87, Fall
\r\n87), Associate (Spring 88, Fall 88), Research Assistant (Spring 89).
\r\nTeaching: calculus, discrete mathematics, mathematical logic.
\r\n\u2022 (Jan. 1990 - Nov. 1992) RESEARCHER (\u201cRicercatore universitario\u201d),
\r\nUniversity of L\u2019Aquila (Italy), Department of Mathematics.
\r\nTeaching: mathematical logic, mathematical methods for computer science.
\r\n\u2022 (Nov. 1992 - 2001) ASSOCIATE PROFESSOR, University of Pisa, De-
\r\npartment of Mathematics.
\r\nTeaching: Various courses of Mathematical Logic (laurea program in math-
\r\nematics, 1992-2001), Logic (laurea program in computer science, Nov.
\r\n1994 - Nov. 1997).
\r\n\u2022 (Jan. 2001 - present) FULL PROFESSOR, University of Pisa, Department of
\r\nMathematics.
\r\n
\r\nProfessional activities (2007-present)
\r\n
\r\n\u2022 Member of the editorial board of \u201cLogic and Analysis\u201d (2007-2008).
\r\n\u2022 Member of the editorial board of \u201cJournal of Logic and Analysis\u201d (suc-
\r\ncessor of \u201cLogic and Analysis\u201d), 2008-present.
\r\n\u2022 (2008-present) Member of the editorial board of the \u201cJournal of Symbolic
\r\nLogic\u201d, Coordinating editor since 2013.
\r\n\u2022 Member of the Program Committee of the Logic Colloquium 2008, July
\r\n3-8 (2008) Bern. http:\/\/www.lc08.iam.unibe.ch\/
\r\n\u2022 Member of the Program Committee of WoLLIC 2011, 18th Workshop on
\r\nLogic, Language, Information and Computation, May 18th to 21st, 2011,
\r\nUniversity of Pennsylvania, Philadelphia, USA. http:\/\/wollic.org\/wollic2011\/
\r\n\u2022 XIX congresso UMI, Coordinator of the session in Mathematical Logic,
\r\nhttp:\/\/umi2011.dm.unibo.it\/","unipi-persone-link-esterno-cv":"http:\/\/www.dm.unipi.it\/~berardu\/CVdec2012copia\/CVdec2012.pdf","unipi-persone-modalita-ricevimento":"","unipi-persone-luogo-ricevimento":"","unipi-persone-ore-ricevimento":"","unipi-persone-telefono":"050 2213261","unipi-persone-sitoweb":"http:\/\/www.dm.unipi.it\/~berardu\/","unipi-persone-cariche":"","unipi-persone-link-orario-lezioni":"https:\/\/unipi.prod.up.cineca.it\/calendarioPubblico\/matricola=008099","unipi-persone-link-registro-lezioni":"https:\/\/unimap.unipi.it\/registri\/registri.php?ri=008099&tmplt=principale.tpl","unipi-persone-settore-scientifico":"Logica Matematica MATH-01\/A","unipi-persone-ruolo":"Professore Ordinario","unipi-persone-arpi":"https:\/\/arpi.unipi.it\/cris\/rp\/rp09615","unipi-persone-pubblicazioni":"