Academic Curriculum vitae - SELP - Seminario di Logica Permanente
Academic Curriculum vitae - SELP - Seminario di Logica Permanente
Academic Curriculum vitae - SELP - Seminario di Logica Permanente
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Summer Schools<br />
3 SKILLS AND QUALIFICATIONS<br />
• February 2012: LI2012 - Week on ‘Preuves et programmes’ (proofs and programs)<br />
- workshop promoted by University of Marseille, France.<br />
• August 2011: Summer school of Logic run by AILA - Italian Association of<br />
Logic and its Applications - and promoted by University of Milan - Gargnano<br />
(BS), Italy.<br />
• August 2009: Summer school of Logic run by AILA and promoted by University<br />
of Milan - Gargnano (BS), Italy.<br />
• July 2009: One-week seminar about Gödel incompleteness theorems held by<br />
prof. Gabriele Lolli - Bolzano, Italy.<br />
• September 2008: Summer school of Philosophy of Science run by SILFS - Italian<br />
Association for Logic and Philosophy of Science - and promoted by Universities<br />
of Bologna, Salento, Urbino - Cesena (FO), Italy.<br />
3 Skills and Qualifications<br />
3.1 Languages<br />
• Italian: mother tongue.<br />
• English: First Certificate of English (March 8, 2008).<br />
• English: TOEFL iBt - 103/120 Score (November 8, 2009).<br />
• French: good rea<strong>di</strong>ng comprehension.<br />
3.2 Computer Science skills<br />
• Advanced european computer driving licence (ECDL Advanced) - module 5:<br />
Database (1st of June 2005).<br />
• Extensive knowledge of the Web 2.0 technologies : AJAX, DHTML, XML,<br />
CSS, DOM, JSON.<br />
• Extensive knowledge of imperative, object-oriented, functional, and logical<br />
para<strong>di</strong>gm of programming.<br />
• Programming languages:<br />
– Extensive knowledge<br />
* Python<br />
* Javascript<br />
– Some experience<br />
* Prolog<br />
* Java<br />
* SQL<br />
* Scheme<br />
2