Academic Curriculum vitae Fabio Zanasi January 29, 2012 1 Personal details 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śniewski - uno studio sulle definizioni creative ( Definitions in S.Leśniewski 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
3 SKILLS AND QUALIFICATIONS Summer Schools 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
6 ACADEMIC ACTIVITIES * Haskell 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śniewski (1886-1939). My undergraduate thesis on creative definitions in Leśniewski 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śniewski s systems. Collaborations and mail correspondence on Leśniewski 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śniewski 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śniewski s Ontology 2010 - to be submitted to Studia Logica. La definizione nei sistemi logici di Leśniewski ( On definitions in Leśniewski 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