Academic Curriculum vitae - SELP - Seminario di Logica Permanente

1 Personal details
Academic Curriculum vitae
Fabio Zanasi
January 29, 2012
First name / Surname: Fabio Zanasi
Place and date of birth: Modena, 17th of December 1988
Residency: Modena, via Selmi 66
Marital status: unmarried
Nationality: Italian
Mobile phone Number:
• (+39) 328 2845834 (Italy)
• (+31) 624813319 (The Netherlands)
E-mail: zanasi.fabio@gmail.com
Website: www.zanasi.com/fabio
2 Education
• From September 2010: MSc in Logic (track computation) at the University of
Amsterdam. Expected completion period: summer 2012. Supervisors: Yde
Venema and Alessandro Facchini.
• Fall semester 2011: Subsidiary student at the Radboud University of Nijmegen -
MSc in Computing Science.
• July 2010: BA in Philosophy with thesis in Logic. Completion date: July 7,
2010. Title: “La definizione nell’Ontologia di S. Le´sniewski - uno studio sulle
definizioni creative” (“Definitions in S.Le´sniewski’s Ontology - a study on creative
definitions”). Supervisor: Duccio Pianigiani. Grade: 110/110 “cum laude”.
• 2007-2010: Undergraduate student in Philosophy at the University of Siena,
Italy.
• July 2007: High school final examination: “Diploma di Maturità Classica” -
Grade: 100/100.
• 2002-2007: Secondary high school “Liceo-Ginnasio L.A.Muratori” in Modena,
Italy.
1

Summer Schools
3 SKILLS AND QUALIFICATIONS
• February 2012: LI2012 - Week on ‘Preuves et programmes’ (proofs and programs)
- workshop promoted by University of Marseille, France.
• August 2011: Summer school of Logic run by AILA - Italian Association of
Logic and its Applications - and promoted by University of Milan - Gargnano
(BS), Italy.
• August 2009: Summer school of Logic run by AILA and promoted by University
of Milan - Gargnano (BS), Italy.
• July 2009: One-week seminar about Gödel incompleteness theorems held by
prof. Gabriele Lolli - Bolzano, Italy.
• September 2008: Summer school of Philosophy of Science run by SILFS - Italian
Association for Logic and Philosophy of Science - and promoted by Universities
of Bologna, Salento, Urbino - Cesena (FO), Italy.
3 Skills and Qualifications
3.1 Languages
• Italian: mother tongue.
• English: First Certificate of English (March 8, 2008).
• English: TOEFL iBt - 103/120 Score (November 8, 2009).
• French: good reading comprehension.
3.2 Computer Science skills
• Advanced european computer driving licence (ECDL Advanced) - module 5:
Database (1st of June 2005).
• Extensive knowledge of the Web 2.0 technologies : AJAX, DHTML, XML,
CSS, DOM, JSON.
• Extensive knowledge of imperative, object-oriented, functional, and logical
paradigm of programming.
• Programming languages:
– Extensive knowledge
* Python
* Javascript
– Some experience
* Prolog
* Java
* SQL
* Scheme
2

* Haskell
6 ACADEMIC ACTIVITIES
• Knowledge of the main issues of Semantic Web (data mining, web Ontologies,
Knowledge Representation, Descriptive logics).
• Good knowledge and use of LaTeX (scientific editor).
4 Grants and honours
• Nuffic Huygens scholarship 2011-2012: my MSc studies are funded by the
Huygens scholarship provided by the Netherlands Organization for International
Cooperation in Higher Eduction.
• AILA thesis award 2011: my undergraduate thesis has been recognized by the
Italian Association for Logic and its Applications as one of the best three theses
of the year.
• In June 2009 I received a scholarship from AILA (Italian Association of Logic
and its Applications), due to my academic curriculum, for attending the Summer
School of Logic, Gargnano 2009 - see the first section for details.
• In May 2009 I received a tuition reduction from the University of Siena, due
to high marks - Academic Year 2008-2009.
• In July 2007 I received a national scholarship due to the highest grade in the
final exam of the Secondary High School.
5 Work experiences outside the academia
• 2007-2010: occasional software programming for “MaxMara” (an italian fashion
company), with specialization on AJAX software development.
• Summer 2006: one month stage at the Research Department of Chamber of
Commerce in Modena.
• Summer 2005: one month stage at the press office of the province of Modena -
writing of press releases and collaboration in organizing press conferences.
• Since 2004: occasional collaborations with local newspapers: “Gazzetta di Modena”,
“Resto del Carlino”, online review “Stradanove”
(www.stradanove.net).
6 Academic activities
6.1 Research interests
• My current research interest is in the area of logic and theoretical computer science:
– Fixpoint logics and modal µ-calculus.
– Algebraic and coalgebraic specification of datatypes.
3

6.2 Teaching 6 ACADEMIC ACTIVITIES
– Program semantics and Domain Theory.
– Curry-Howard correspondence and type theory.
– Monads and functional programming.
• From 2007 I have been working on the formal systems of polish logician Stanislaw
Le´sniewski (1886-1939). My undergraduate thesis on creative definitions
in Le´sniewski’s system of “Ontology” proves a conjecture formulated in the 70’s
and suggests new proof methods to investigate the role of creative definition in
Le´sniewski’s systems.
Collaborations and mail correspondence on Le´sniewski include: A.Betti (Vrije
Univ. of Amsterdam), P.Joray (Univ. of Rennes), F.V.Rickey (West Point University),
Z. Stachniak (York Univ. in Toronto).
6.2 Teaching
• January 2012: teaching assistant in the course “Imperative programming in Python”.
• 2008-2009: preparation of lecture notes and slides for crash courses at the Computer
Science department of “MaxMara” on the following topics:
6.3 Talks
Invited talks
– Python 3
– Object-Oriencted programming in Javascript (I also taught some modules
of the course)
– YUI (Yahoo User Interface library in Javascript)
– Mercurial
• “On S.Le´sniewski’s Ontology”, May 27th 2009, workshop “Seminars of Logic
and Philosophy of Language”, University of Siena.
Talks for courses and projects
• “Monads as notion of computation”, February 8th 2012.
• “Monads and algebraic theories”, February 1st 2012.
• “Initial algebra and Final coalgebra semantics for datatypes”, December 7th
2011.
• “Origins and practice of continuation-passing style”, November 25th 2011.
• “Tarski on logical consequence”, March 1st 2011.
4

6.4 Publications 6 ACADEMIC ACTIVITIES
6.4 Publications
• with F.V. Rickey: “On creative definitions in Le´sniewski’s Ontology” 2010 -
to be submitted to “Studia Logica”.
• “La definizione nei sistemi logici di Le´sniewski” (“On definitions in Le´sniewski’s
logical systems”) 2009 - to appear in “Annali della Facoltà di Lettere e Filosofia
dell’Università di Siena” (Annals of the faculty of Philosophy and Humanities at
the University of Siena), 2011.
Other unpublished papers
• “Universal Logic and Logical Pluralism” 2011.
• “On alternation-depth in modal µ-calculus” 2010.
• “Da Lakatos a Chaitin - quasi-empirismo in Matematica” (“From Lakatos to
Chaitin. Quasi-empiricism in mathematics”) 2009.
• “I due paradigmi della teoria dei tipi” (“The two paradigms of Type Theory”)
2008.
6.5 Other academic activities
• November 2011, February 2012: presentation of the Master of Logic at the ‘Masterday’
event - 2011 and 2012 editions.
• From December 2010: member of the Opleidingscommissie (commission for
the evaluation of courses) of the Master of Logic at the University of Amsterdam.
• November 2010: logistic support to the organization of the 91st Peripatetic Seminar
on Sheaves and Logic in Amsterdam.
• Member of AILA - Italian Association for Logic and its Applications.
• Member of SELP - Seminario di Logica Permanente (Italian association of “young
logicians” devoted to the organization of seminars and events).
5