Curriculum. Margherita Zorzi. September 27, 2020

(1)

Curriculum

Margherita Zorzi September 27, 2020

La sottoscritta Margherita Zorzi, nata a Negrar (Verona) il 22 luglio 1981, dichiara, sotto la propria personale responsabilit`a, che tutto quanto dichiarato di seguito corrisponde a verit`a, ai sensi degli articoli 46 e 47 del D.P.R. 445/2000.

1 Informazioni generali

• Data di nascita: 22 luglio 1981.

1.1 Studi

• Laurea in Informatica (Vecchio Ordinamento), Universit`a di Verona, 20 luglio 2005 con votazione 110/110 e Lode.

Titolo della Tesi: PSL: Logica di Separazione Parametrica.

Relatore: Prof. Roberto Giacobazzi.

• 1 gennaio 2006 - 31 dicembre 2008, Dottorato di Ricerca in Informatica, Universit`a di Verona.

Titolo della Tesi: Lambda Calculi and Logics for Quantum Computing.

Relatore: Prof. Andrea Masini.

Revisori Esterni: Proff.ssa Simonetta Ronchi della Rocca. Dipartimento di Infor- matica, Universit`a di Torino; Prof. Peter Selinger, Department of Mathematics and Statistics, Dalhousie University.

Titolo di Dottore di Ricerca conseguito in data 14 maggio 2009.

1.2 Posizioni Accademiche

• Dal 1/4/2018: Ricercatrice a Tempo Determinato A (RTDA), Dipartimento di In- formatica, Universit`a di Verona.

(2)

• Dal 1/2/2016 al 31 gennaio 2016: Titolare di Assegno di Ricerca “Logiche e Algoritmi di Natural language processing per XML e basi di dati medici”, Dipartimento di Informatica, Universit`a di Verona (referente Prof. Carlo Combi).

• Dal 1 febbraio 2015 al 31 gennaio 2016: Titolare di Assegno di Ricerca “Il pensiero computazionale e la didattica dell’informatica”, Dipartimento di Informatica, Uni- versit`a di Verona (referente Dott. Ugo Solitro).

• Dal 1 novembre 2014 al 31 gennaio 2015: Titolare di Borsa presso ex Dipartimento Dipartimento di Sanità Pubblica e Medicina di Comunità, ora Dipartimento di Di- agnostica e Sanità Pubblica, Progetto VigiWork. Soggetto della ricerca: algoritmi per la processazione della descrizione in linguaggio naturale di reazione avverse dei farmaci.

• Dal 1 ottobre 2012 al 30 settembre 2014: Titolare di Assegno di Ricerca di Ate- neo a Progetto, Universit`a degli Studi di Verona. Titolo del progetto di Ricerca:

QUASAR: QUantum lAnguages, logicS And inteRaction.

• Dal 1 ottobre 2011 al 30 settembre 2012: Titolare di Contratto di Ricerca presso il Di- partimento di Informatica LIPN (Laboratoire d’Informatique Paris Nord) dell’Universit`a Parigi Nord (Paris 13). Progetto COMPLICE (Implicit Computational Complexity, Concurrency and Extraction) project, ref.: ANR-08-BLANC-0211-01).

• Dal 1 gennaio 2009 al 30 settembre 2011: Titolare di Assegno di Ricerca, soggetto Logiche e calcoli per le computazioni quantistiche, presso il Dipartimento di Informat- ica, Facolt`a di Scienze MM.FF.NN., Universit`a di Verona (referente Prof. Andrea Masini).

2 Abilitazioni

• ASN (Abilitazione Scientifica Nazionale) Settore 01/A1, Logica Matematica e Matem- atiche Complementari, seconda fascia (Professore Associato), valida fino al 6/4/2024.

• Da febbraio 2013: qualifica (abilitazione) “Maˆıtre de Conférence”, rinnovata il 1/02/2018 presso il Ministero della Ricerca francese (Ministère de l’Enseignement Supérieur et de la Recherche Fran¸caise): numero di qualificazione 18227244217, valida fino al 31/12/2022.

(3)

3 Ricerca

3.1 Pubblicazioni Submitted Papers

1. D. Trotta, M. Zorzi. Compositional theories for embedded languages, journal paper, submitted, 2020. ArXiv: https://arxiv.org/abs/2006.10604.

2. D. Trotta, M. Zorzi. A Host-Core type theory as internal language, journal paper, submitted, 2020.

3. S. Martini, A. Masini, M. Zorzi, From 2–Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics, journal paper, submitted, 2020.

4. M. Cristani, C. Tomazzoli, M. Zorzi A methodology for context-dependent adjective- driven sentiment analysis in recommender systems, journal paper, submitted, 2020.

Journal Papers

1. M. Zorzi. Quantum Calculi. From Theory to Language Design. Applied Sciences, 9(24), 5472; 2019

2. A. Masini, M. Zorzi. A logic for quantum register measurements, Axioms, 8 (1), 2019.

3. L. Paolini, M. Piccolo, M. Zorzi. qPCF: higher-order languages and quantum circuits, Journal of Automated Reasoning 63(4), pp. 941-966, Springer, 2019 , DOI https://doi.org/10.1007/s10817-019-09518-y , Print ISSN 0168-7433, On- line ISSN 1573-0670

4. M. Cristani, F. Olivieri, C. Tomazzoli, L. Vigan`o, M. Zorzi, Diagnostics as a Hybrid Reasoning Processes: from Logic Model to Software design, Journal of Computing and Information Technology 27, pp. 43-57, 2019.

5. C. Combi, M. Zorzi, G. Pozzani, E. Arzenton, U. Moretti, Normalizing Spon- tanous Reports into MedDRA: some experiments with the NLP software MagiCoder, IEEE Journal of Biomedical and Health Informatics, 23(1): 95-102, 2019.

6. C. Combi, M. Zorzi, G. Pozzani, E. Arzenton, U. Moretti, From narrative de- scriptions to MedDRA: automagically encoding adverse drug reactions, Journal of Biomedical Informatics, Volume 84, pp. 184-199, 2018.

7. C. Combi, A. Masini, B. Oliboni, M.Zorzi, A Hybrid Logic for XML Reference constraints, Data & Knowledge Engineering, Volume115, pp. 94-115, 2018.

8. M. Volpe, L. Vigan`o, M. Zorzi, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations.

Information&Computation, Volume 255, Part 2, pp 311-333, 2017.

(4)

ISSN 0890-5401

DOI: 10.1016/j.ic.2017.01.007

link: http://www.sciencedirect.com/science/article/pii/S089054011730010X

9. F. Aschieri, M. Zorzi, On natural deduction in classical first-order logic: Curry- Howard correspondence, strong normalization and Herbrand’s theorem.

Theoretical Computer Science, Vol. 625, supplement C, pp. 125–146, 2016.

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2016.02.028

link: http://www.sciencedirect.com/science/article/pii/S0304397516001596

10. M. Zorzi, On Quantum Lambda Calculi: a Foundational Perspective. Mathematical Structures in Computer Science, Volume 26, Issue 7, pp. 1107-1195, Cambridge University Press, 2016.

ISSN: 0960-1295

DOI: http://dx.doi.org/10.1017/S0960129514000425

link: https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/on-quantum-lambda- calculi-a-foundational-perspective/BE30F108A02F8E66D97DFFF5C2CDED68

11. U. Dal Lago, M. Zorzi, Probabilistic Operational Semantics for the Lambda Cal- culus.

RAIRO - Theoretical Informatics and Applications, Volume 46, Issue 3, Pages 413-450, 2012.

Published online by Cambridge University Press.

DOI: http://dx.doi.org/10.1051/ita/2012012 ISSN: 0988-3754

link https://www.cambridge.org/core/journals/rairo-theoretical-informatics-and-applications/article/ probabilistic-operational- semantics-for-the-lambda-calculus/B796D09DCCC93299467DF65D53E1D8CF

12. A. Masini, L. Vigan`o, M. Zorzi, Modal Deduction Systems for Quantum States Transformations.

Journal of Multiple-Valued Logic and Soft Computing, Volume 17, Volume 17, Issue 5-6, pp 475-519, Old City Publishing, 2011.

ISSN: 1542-3980 (print) ISSN: 1542-3999 (online)

http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-17-number-5-6-2011/mvlsc- 17-5-6-p-475-519/

13. U. Dal Lago, A. Masini, M. Zorzi, Confluence Results for A Quantum Lambda Calculus with Measurements. Electronic Notes in Theoretical Computer Science, Volume 270, Issue 2, pp. 251-261, Elsevier, 2011.

ISSN: 1571-0661

DOI:10.1016/j.entcs.2011.01.035

link https://www.sciencedirect.com/science/article/pii/S1571066111000363

(5)

14. U. Dal Lago, A. Masini, M. Zorzi, Quantum Implicit Computational Complexity.

Theoretical Computer Science, Volume 411, Issue 2, pp 377-409, Elsevier, 2010.

DOI: 10.1016/j.tcs.2009.07.045 ISSN: 0304-3975

link https://www.sciencedirect.com/science/article/pii/S0304397509005167

15. U. Dal Lago, A. Masini, M. Zorzi, On a Measurement Free Quantum Lambda Calculus with Classical Control. Mathematical Structures in Computer Science, Volume 19, Issue 02, pp 297–335, Cambridge University Press, UK, 2009.

ISSN: 0960-1295 EISSN: 1469-8072

DOI 10.1017/S096012950800741X

link https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/on-a-measurementfree- quantum-lambda-calculus-with-classical-control/73715A0AD65438AECDD86868C7307B22

Conference Papers

1. M. Cristani, F. Domenichini, C. Tomazzoli, M. Zorzi. It could be worse, it could be raining: reliable automatic meteorological forecasting for holiday planning, Proceedings of Advances and Trends in Artificial Intelligence. From Theory to Practice- 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Lecture Notes in Computer Science 11606, 3–11, 2019.

2. M. Cristani, C. Tomazzoli, M. Zorzi. Automatic Generation of Dictionaries: the journalistic lexicon case, Proceedings of Advances and Trends in Artificial Intel- ligence. From Theory to Practice- 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Lecture Notes in Computer Science 11606, 744-752, 2019.

3. M. Cristani, F. Olivieri, L. Olivieri, C. Tomazzoli and M. Zorzi. Web liter- ature, authorship attribution and editorial workflow ontologies, Proceedings of KES-AMSTA 2018, Smart Innovation, Systems and Technologies 148, 2019, to appear.

4. L. Paolini, L. Roversi, M. Zorzi Quantum Programming Made Easy, post-proceedings of TLLA-LINEARITY, FLOC Conference, Oxford, Electronic Proceedings in TheoreticalComputer Science, to appear.

5. M. Cristani, F. Domenichini, F. Olivieri, C. Tomazzoli, and M. Zorzi. It could rain: weather forecasting as a Reasoning Process, saccepted, Proceedings of 22nd International Conference on Knowledge-Based and Intelligent Information &

Engineering Systems-KES 2018, Belgrado, 3-5 september, Procedia Computer Science 126, pp. 850-859.

(6)

6. M. Cristani, I. Chit´o, C. Tomazzoli, and M. Zorzi. MORE: a simple algorithm for the lexical classification of comparable adjectives, accepted, Proceedings of 22nd International Conference on Knowledge-Based and Intelligent Information &

Engineering Systems-KES 2018, Belgrado, 3-5 september, Procedia Computer Science 126, pp. 626-635.

7. M. Cristani, M. Cristani, A. Pesarin, C. Tomazzoli, and M. Zorzi. Making sentiment analysis algorithms scalable, accepted, Proceedings of 4th International Workshop on Knowledge Discovery on the Web KDWEB 2018, Caceres, Spain, june 5th 2018, Current Trends in Web Engineering - ICWE 2018 International Workshops, Lecture Notes in Computer Science, 11153, Springer, 2018.

8. M. Cristani, F. Olivieri, C. Tomazzoli, and M. Zorzi. Towards a Logical Frame- work for Diagnostic Reasoning.

Proceedings of KES-AMSTA 2018, Smart Innovation, Systems and Technologies Volume 96, pp. 144-155, 2018.

9. M. Zorzi, C. Combi, G. Pozzani, U. Moretti. Mapping Free Text into MedDRA by Natural Language Processing: a Modular Approach in Designing and Evaluating Software Extensions.

Proceedings of 8th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM-BCB 17), BCB 17, pp. 27-35, ACM New York, 2017.

ISBN 978-1-4503-4722-8 DOI:10.1145/3107411.3107431

link: https://dl.acm.org/citation.cfm?id=3107431

10. Margherita Pasini, Ugo Solitro, Margherita Brondino, Roberto Burro, Daniela Raccanello, Margherita Zorzi, Psychology of programming: the role of creativity, empathy and systemizing.

Proceedings of 7th International Conference in Methodologies and intelligent Systems for Technology Enhanced Learning (MIS4TEL’17), University of Porto, June 21-23, 2017, Advances in Intelligent Systems and Computing, Volume 617, pp. 82-89, Springer, 2017.

ISBN: 978-3-319-60819-8 ISSN: 21945357

DOI: 10.1007/978-3-319-60819-8 10

link: https://link.springer.com/chapter/10.1007%2F978-3-319-60819-8 10 11. M. Zorzi, C. Combi, G. Pozzani, E. Arzenton, U. Moretti, A Co-occurence Based

MedDRA Lexicon: some Preliminary Results.

16th Conference on Artificial Intelligence In Medicine (AIME 17), Vienna, june 21-24, Lecture Notes in Computer Science, 10259, pp. 215-220, Springer, 2017.

ISBN 978-3-319-59758-4

(7)

DOI 10.1007/978-3-319-59758-4 24

link: https://link.springer.com/chapter/10.1007/978-3-319-59758-4 24

12. L. Paolini, M. Zorzi, qPCF: a Language for Quantum Circuit Computations, in proceedings of Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Lecture Notes in Computer Science 10185, pp. 455-469, Springer, 2017.

ISBN: 978-3-319-55911-7 ISSN: 03029743

DOI: 10.1007/978-3-319-55911-7 33

13. U. Solitro, M. Zorzi, M. Pasini, M. Brondino, Early training in programming:

from high school to college. Proceedings of 2nd EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2016, Venice, Italy, 30 November -1 December 2016, GoodTechs 2016, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, LNICST 195, pp. 325-332, Springer Verlag, 2017.

ISBN 978-3-319-61948-4

Online ISBN 978-3-319-61949-1 DOI: 10.1007/978-3-319-61949-1 34.

14. U. Solitro, M. Zorzi, M. Pasini, M. Brondino, A “light” application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics, Pro- ceedings of 6th International Conference in Methodologies and intelligent Sys- tems for Technology Enhanced Learning (MIS4TEL’16), University of Sevilla, Sevilla (Spain) ,1st-3rd June. Advances in Intelligent Systems and Computing 478, pp. 73-80.

ISSN: 2194-5357 ISBN: 978-331940164-5

DOI: 10.1007/978-3-319-40165-2 8

15. C. Combi, R. Lora, U. Moretti, M. Pagliarini, M. Zorzi, Automagically Encoding Adverse Drug Reactions in MedDRA, IEEE International Conference on Health- care Informatics 2015 (ICHI 2015), Dallas, TX, USA, 21-24 October, Article number 7349679, pages 90-99, published by Institute of Electrical and Electron- ics Engineers Inc., 2015.

ISBN: 978-146739548-9 (NV) DOI: 10.1109/ICHI.2015.18

link: http://ieeexplore.ieee.org/document/7349679/

16. C. Combi, A. Masini, B. Oliboni, M.Zorzi. A Logical Framework for XML Refer- ence Specification.

Proceedings di ”26th International Conference on Database and Expert Systems

(8)

Applications - DEXA 2015” , Valencia (Spain), 1-4 september 2015, Lecture Notes in Computer Science 9262, pp. 258-267, Springer Verlag Germany, 2015.

ISBN 978-3-319-22852-5

DOI 10.1007/978-3-319-22852-5 22

17. U. Dal Lago, M. Zorzi, Wave-style Token Machine and Quantum Lambda Calculi.

Post-Proceedings of Third International Workshop on Linearity (LINEARITY 2014) part of VSL-FLoC’14, Vienna, Austria, 13th July, 2014, Electronic Pro- ceedings in Theoretical Computer Science 176, pp. 64-78, OPA, 2015.

ISSN: 2075-2180

DOI: 10.4204/EPTCS.176

18. M. Volpe, L. Vigan`o, M. Zorzi, Quantum State Transformations and Branching Distributed Temporal Logic. In proceedings of 21st International Workshop on Logic, Language, Information and Computation (Wollic’14), (U. Kohlenbach, P.

Barcel´o, R. de Queiroz Eds.), Valpara´ıso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Vol. 8652, 1–19, Springer, 2014.

ISBN: 978-3-662-44145-9 ISSN: 03029743

DOI: 10.1007/978-3-662-44145-9 1

19. F. Aschieri, M. Zorzi, A “Game Semantical” Intuitionistic Realizability Validating Markov’s Principle. Post-proceedings of 19th International Conference on Types for Proofs and Programs (TYPES 2013) 22-26 April 2013, Toulouse, France, Leibniz International Proceedings in Informatics (LIPics), Vol. 26, Pages 24-44, published by Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014.

ISBN: 978-3-939897-72-9 ISSN: 1868-8969

DOI: 10.4230/LIPIcs.TYPES.2013.24

link: http://drops.dagstuhl.de/opus/volltexte/2014/4624

20. F. Aschieri, M. Zorzi, Non-Determinism, non-termination and the Strong Normal- ization of System T.

In proceedings of Typed Lambda Calculi and Applications (TLCA’13), parts of International Conference on Rewriting, Deduction, and Programming, June 23 -28, 2013, Eindhoven (The Netherlands), Lecture Notes in Computer Science LNCS 7941, 31–47. Springer, Heidelberg, 2013.

ISBN: 978-3-642-38946-7 ISSN: 0302-9743

DOI: 10.1007/978-3-642-38946-7 5

(9)

21. F. Aschieri, M. Zorzi, Interactive realizability and the elimination of Skolem func- tions in Peano Arithmetic.

Proceeding of 4th Classical Logic and Computation - (CL&C’12 Icalp 2012), Warwick - England, 8th July, Electronic Proceedings in Theoretical Computer Science, vol. 97, pp. 1-18, OPA, 2012.

ISSN 2075-2180

DOI 10.4204/EPTCS.97.1

link: http://eptcs.web.cse.unsw.edu.au/content.cgi?CLaC12

22. U. Dal Lago, S. Martini, M. Zorzi, General Ramified Recurrence is Sound for Poly- nomial Time.

Proceedings of International Workshop on Developments in Implicit Compu- tational complExity, (DICE 2010, part of ETAPS 2010), march 27-28, 2010, Cyprus. Published in Electronic Proceedings in Theoretical Computer Science, editor P. Baillot, Volume 23, pp. 47-62, OPA, 2010.

ISSN 2075-2180

DOI 10.4204/EPTCS.23.4

link:http://eptcs.web.cse.unsw.edu.au/content.cgi?DICE2010

23. A. Masini, L. Vigan`o, M. Zorzi, A Qualitative Modal Representation of Quantum Register Transformations.

Proceedings of 38th IEEE International Symposium on Multiple Valued Logic (ISMVL 2008), may 22-24, 2008, Dallas TX, USA, editor Gerhard Dueck, pp 131-137, IEEE Computer Society, 2008.

ISBN 978-0-7695-3155-7 ISSN 0195-623X

DOI 10.1109/ISMVL.2008.36

link: http://ieeexplore.ieee.org/document/4539415/

Miscellanea

1. M. Boscaini, U. Solitro, M. Zorzi, L’insegnamento dell’Informatica e i linguaggi di programmazione, in E questo tutti chiamano Informatica. L’esperienza del TFA nelle discipline informatiche, Roma, Sapienza Editrice, pp. 117-128, 2015.

ISBN 978-88-98533-63-3

DOI 10.13133/ 978-88-98533-63-3.

PhD Thesis

1. Lambda Calculi and Logics for Quantum Computing. Ph.D. Thesis, Computer Science Department, Universit`a degli Studi di Verona, 2009.

(10)

4 Attivit` a didattiche e supervisioni

4.1 Supervisione di studenti post-doc

Dal 1/12/2019 al 31/11/2020, referente Assegno di Ricerca Dott. Davide Trotta, tema semantiche denotazionali per i linguaggi quantistici.

4.2 Corsi Dottorato

• Type Theory and Programming Languages, settembre 2020, 12 ore.

4.3 Titolarit`a di insegnamenti–Corsi di Laurea Triennali e Magistrali A.A. 2020-2021

• Insegnamento di Informatica e Produzione Multimediale presso Diparti- mento di Culture e Civilt`a, Universit`a di Verona, Corso di Laurea Magistrale in Editoria e Giornalismo, 24 ore, secondo semestre.

• Insegnamento di Informatica Documentale presso Dipartimento di Culture e Civilt`a, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore, secondo semestre.

A.A. 2019-2020

• Insegnamento di Informatica e Produzione Multimediale presso Diparti- mento di Culture e Civilt`a, Universit`a di Verona, Corso di Laurea Magistrale in Editoria e Giornalismo, 24 ore, secondo semestre.

• Insegnamento di Informatica Documentale presso Dipartimento di Culture e Civilt`a, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore, secondo semestre.

A.A. 2018-2019

• Insegnamento di Informatica e Produzione Multimediale presso Diparti- mento di Culture e Civilt`a, Universit`a di Verona, Corso di Laurea Magistrale in Editoria e Giornalismo, 24 ore.

• Insegnamento di Informatica Documentale presso Dipartimento di Culture e Civilt`a, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore.

(11)

A.A. 2017-2018

• Corso per la Scuola di Dottorato Scienze Naturali e Ingegneristiche, Teoria dei tipi e linguaggi di programmazione, 16 ore, giugno/luglio 2018.

A.A. 2016-2017

A.A. 2015-2016

• Insegnamento di Informatica Documentale presso Dipartimento di Filologia Letteratura e Linguistica (in dismissione), Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore.

• Tecniche di Presentation Design per la didattica e comunicazione scientifica, Laurea magistrale in Formazione e sviluppo delle risorse umane, Dipartimento di Scienze Umane, 12 ore (coordinatore Prof. Ugo Savardi).

A.A. 2014-2015

• Insegnamento di Sistemi informativi e sicurezza–Modulo fondamenti presso Dipartimento di Informatica, Universit`a di Verona, TFA A042 - Infor- matica (II grado), 12 ore.

• Insegnamento di Informatica Documentale presso Dipartimento di Filologia Letteratura e Linguistica, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore.

A.A. 2013-2014

• Insegnamento di Informatica Documentale presso la Facolt`a di Lettere e Filosofia, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore.

A.A. 2010-2011

• Insegnamento di Algoritmi-modulo Algoritimi presso la Facolt`a di Scienze MM.FF.NN., Universit`a di Verona, primo anno del Corso di Laurea Magistrale in Ingegneria e scienze informatiche, 48 ore

(12)

• Insegnamento di Algoritmi-modulo Complessità presso la Facoltà di Scienze MM.FF.NN., Università di Verona, primo anno del Corso di Laurea Magistrale in Ingegneria e scienze informatiche, 48 ore

• Insegnamento di Informatica Documentale presso la Facolt`a di Lettere e Filosofia, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione, 36 ore.

• Insegnamento di Informatica di Base presso la Facolt`a di Lettere e Filosofia, Universit`a di Verona, primo anno del Corso di Laurea in Scienze della Comuni- cazione, 36 ore.

A.A. 2009-2010

• Insegnamento di Informatica Documentale presso la Facolt`a di Lettere e Filosofia, Universit`a di Verona, terzo anno del Corso di Laurea in Scienze della Comunicazione - Editoria e Giornalismo, 40 ore.

• Insegnamento di Informatica di Base presso la Facolt`a di Lettere e Filosofia, Universit`a di Verona, primo anno del Corso di Laurea in Scienze della Comuni- cazione, 36 ore

• Insegnamento di Informatica e Statistica (modulo Informatica) presso la Facolt`a di Scienze MM.FF.NN., Universit`a di Verona, primo anno del Corso di Laurea in Scienze e tecnologie viticole ed enologiche, 24 ore.

4.4 Insegnamenti all’estero

• Lezioni indirizzate agli studenti di dottorato e agli altri ricercatori del gruppo di ricerca dal titolo “λ-calculi for Quantum Computing”, durante il soggiorno a Parigi con contratto post-dottorato nell’anno 2011-12 al “Laboratoire d’Informatique Paris- Nord” (LIPN) dell’Universit`a Paris 13.

4.5 Attivit`a di relazione e controrelazione tesi

4.6 Attivit`a di controrelazione (revisione esterna) di tesi di Dottorato e commissioni di Dottorato

Controrelatrice di tesi di dottorato

• Titolo Probabilistic Recursion Theory and Implicit Computational Complexity.

Candidata: Sara Zuppiroli, Alma Mater Studiorum Universit`a di Bologna, Ciclo XXV.

Membro in commissioni di difesa finale tesi di dottorato

(13)

• Titolo Probabilistic Recursion Theory and Implicit Computational Complexity.

Candidata: Sara Zuppiroli, Alma Mater Studiorum Universit`a di Bologna, Ciclo XXV. Settembre 2014.

4.6.1 Relatrice titolare di tesi di laurea

Dal 2011: relatrice di 14 tesi triennali, corso di Laurea Scienze della Comunicazione, e di 2 tesi magistrali (una in corso), Corso di Laurea Editoria e Giornalismo. Gli argomenti delle tesi proposte e seguite nel contesto della didattica trasversale riguardano principalmente la progettazione concettuale e logica e l’implementazione di database e sviluppo di sistemi logici descrittivi.

4.6.2 Relatrice di tesi finale TFA 2015 (Tirocinio Formativo Attivo classe A042)

1. Titolo: Database: Un approccio didattico. Dalla modellazione concettuale a quella logica. Candidato: Giuseppe Accogli.

2. Titolo: Apprendimento della programmazione ad oggetti con C# e Windows Form.

Candidato: Lorenzo Parisi.

3. Titolo: Il modello relazionale dei database Un approccio didattico ai vincoli di in- tegrit`a. Candidato: Michele Caceffo.

4.7 Attivit`a di correlazione e controrelazione tesi 4.7.1 Correlatrice di tesi di laurea

• Titolo: Calcolo Quantistico. Candidato: Matteo Busti. Universit`a di Verona, A.A.

2007-2008. Relatore Prof. Andrea Masini.

4.7.2 Controrelatrice di tesi di Laurea

• Titolo Elementi per una Semiotica Videoludica: ipertesti, interlocutori e mondi pos- sibili. Candidata: Eleonora Mazza Pallone. Laurea Magistrale in Editoria e Giornal- ismo, Universit`a di Verona, A.A. 2014/15. Relatore Prof. Umberto Castellani.

4.8 Attivit`a didattiche Collaterali

Nel corso del triennio del Dottorato di Ricerca e durante l’attivit`a di titolare di assegno di ricerca, ho tenuto le seguenti lezioni frontali in co-presenza, all’interno di corsi della Laurea Specialistica in Informatica presso l’Universit`a degli Studi di Verona:

(14)

• Corso di Semantica (Titolare: Prof. Andrea Masini):

A.A. 2006/2007, Lambda Calcolo non tipato, sintassi, Turing-completezza e teoremi di confluenza;

A.A. 2007/2008, Sistema F di Girard, sintassi ed esempi di codifica.

• Corso di Computazione Quantistica (Titolare: Dott.ssa Alessandra Di Pierro):

A.A 2007/2008, Lambda Calcoli Quantistici, sintassi e potere espressivo;

A.A. 2008/2009, la Macchina di Turing Quantistica, formulazione matematica e risul- tati di equivalenza con i Circuiti Quantistici;

A.A 2009/2010, Introduzione al Lambda Calcolo Quantistico.

A.A. 2010/2011, Introduzone ai calcoli funzionali quantistici.

A.A. 2011/2012, Introduzone ai calcoli funzionali quantistici (seminario-lezione).

A.A. 2012/2013, Introduzone ai calcoli funzionali quantistici.

(15)

5 Attivit` a Editoriali

Journal Guest Editor : Guest Editor of Special Issue on Quantum Software: Theory and Practice, in Quantum Machine Intelligence, Springer, 2019.

Organizzazione di Scuole : Summer School Quantum Languages Design and Imple- mentation, Verona (Italy) - 23-27 September 2019.

Membro di comitati di programma di workshop e conferenze internazionali

• PC Member of 17th International Conference on Quantum Physics and Logic Universit´e Paris Saclay Paris, France, June 1-5, 2020.

• PC member of International Workshop on Developments in Implicit Computa- tional complExity and Foundational and Practical Aspects of Resource Analysis DICE-FOPARA 2019, Praga, April 6th-7th, 2019.

• PC member of 16th International Conference on Quantum Physics and Logic QPL 2019, Chapman University Orange, California United States June 10-14, 2019.

• PC Member 5th International Workshop on Knowledge Discovery on the Web KDWEB 2019, Hosted by ICWE 2019.

• PC Member 15th International Conference on Quantum Physics and Logic QPL 2018, Halifax, Canada June 3-7, 2018

Referee per Riviste Internazionali

• Theoretical Computer Science, Elsevier.

• Journal of Applied Logic, Elsevier.

• Mathematical Structures in Computer Science, Cambridge University Press.

• Artificial Intelligence in Medicine, Elsevier.

Referee per Conferenze / Workshop Internazionali

• CSL- Computer Science Logic.

• TLCA- International Conference on Typed Lambda Calculi and Applications.

• MFCS-International Symposium on Mathematical Foundation of Computer Sci- ence.

• DCM- International Workshop on Developments in Computational Models.

• LSFA- Workshop on Logical and Semantic Frameworks with applications.

• ICALP- International Colloquium on Automata, Languages and Programming.

• LICS- Symposium on Logic in Computer Science.

• FoSSaCS-International Conference on Foundations of Software Science and Com- putation Structures.

(16)

6 Seminari e interventi

• Invited Speaker, Dagsthul Seminar– Quantum programming languages, settembre 2018.

• Invited Speaker, “International Workshop on Confluence”, 30 giugno 2020.

• Invited Speaker, ciclo seminari Logica e Informatica Teorica di Roma 3, 26 giugno 2020.

• Invited Speaker ciclo di seminari di Logica e Informatica dell’ Instituto de Ciencias de la Computaci´on Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires , 20 agosto 2020.

6.1 Relatrice in convegni/workshop internazionali

• 30 giugno 2020, Host-Core Programming Theory, invited speaker, “International Workshop on Confluence”, Paris Nord Summero of LoVe 2020.

• 10 luglio 2019, It could be worse, it could be raining: reliable automatic meteorological forecasting for holiday planning, 32nd International Conference on Industrial, Engi- neering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019.

• 10 luglio 2019, Automatic Generation of Dictionaries: the journalistic lexicon case, 32nd International Conference on Industrial, Engineering and Other Applications of Ap- plied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019.

• 19 settembre 2018, Quantum calculi: from theory to language design, invited speaker, Dagsthul Seminar 18381 - Quantum Programming Languages, Schloss Dagstuhl, Wandern, Germany.

• 8 novembre 2017, Programming Quantum Computers: Functional Languages and New Perspectives. 1st Workshop on Quantum Techniques in Machine Learning - QTML 2017, Dipartimento di Informatica di Verona, Italy.

• 23 giugno 2017, A co-occurence based MedDRA terminology generation: some preliminary results, 16th Conference on Artificial Intelligence in Medicine (AIME’17), Vienna, Austria.

• 22 aprile 2017, qPCF: a language for quantum circuit computation, Theory and Ap- plications of Models of Computation (TAMC’17), Bern, CH.

• 3 settembre 2015, A Logical Framework for XML Reference Specification, 26th In- ternational Conference on Database and Expert Systems Applications (DEXA’15), Valencia, Spain.

(17)

• 13 luglio 2014, Wave-style Token Machine and Quantum Lambda Calculi, LINEAR- ITY’14, Vienna Summer of Logic, Vienna, Austria.

• 1 dicembre 2008, Modal Deduction Systems for Quantum State Transformation, Trends in Logics VI, Studia Logica

International Conference, University Foundation, Bruxelles, Belgium.

6.2 Altre attivit`a seminariali

• 20 agosto 2020, Host-Core Programming Theory, invited speaker, ciclo di seminari di Logica e Informatica dell’ Instituto de Ciencias de la Computaci´on Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires.

• 26 giugno 2020, Host-Core Programming Theory, invited speaker, ciclo seminari Log- ica e Informatica Teorica di Roma 3.

• 9 dicembre 2016, On quantum lambda calculi: a foundational perspective. Seminario del ciclo “Logic Seminar Verona”, organizzato dal Gruppo di Logica, Universit`a di Verona, Dipartimento di Informatica.

• 16 maggio 2014, Quantum Computing, Linear Logic and Lambda Calculi, Universit`a Roma 3, Dipartimento di Matematica, seminario/lezione su invito.

• 30 gennaio 2014. Quantum Turing Machines, Universit`a di Torino, Dipartimento di Informatica, lezione su invito.

• 11 luglio 2013, Wave-style Token Machine and Quantum Lambda Calculi, Universit`a di Torino, Dipartimento di Informatica, seminario su invito.

• 16 febbraio 2012, An introduction to quantum complexity classes and quantum ICC, INRIA-PPS Universit´e Paris 7, seminario su invito.

• 1 dicembre 2011, A probabilistic operational semantics for the lambda calculus (and some considerations about probabilistic ICC). Universit´e Paris Nord (Paris 13), Di- partimento di Informatica LIPN, COMPLICE Project annual meeting.

• 24 ottobre 2011, Quantum complexity classes and quantum ICC, Universit´e Paris Nord (Paris 13), Dipartimento di Informatica LIPN, seminario di Dipartimento..

• 7 febbraio 2011, seminario sui Lambda Calcoli Quantistici, il Dipartimento di Infor- matica LIPN, Universit`a Paris Nord (Parigi 13), seminario su invito.

• 6 dicembre 2011, Lambda Calculi for Quantum Computing, lezione-seminario, Uni- versit`a degli Studi di Verona.

(18)

• 9 giugno 2010, Seminario sul Lambda Calcolo Probabilistico, meeting finale di CON- CERTO, Universit`a di Torino.

• 16 marzo 2010, Un viaggio dentro ICC, l’Universit`a di Verona, seminario di Diparti- mento.

• 18 febbraio 2009, lezione sui lambda calcoli e logiche per il quantum computing, meeting di CONCERTO, Universit`a di Bologna, dal titolo Lambda Calculi and Logics for Quantum Computing.

• 27 giugno 2007, Q-Calcolo: un lambda calcolo quantistico, Universit`a di Verona, seminario di Dipartimento.

• 28 settembre 2006, A Quantum Lambda Calculus, Universit`a di Torino, Dipartimento di Informatica, seminario su invito.

6.3 Attivit`a di Session Chair

• 3 settembre 2015, DEXA’15 - Session 8A : Data Streams, Web Services.

(19)

7 Altre competenze

7.1 Conoscenza di Linguaggi di programmazione/ Software

• Ambienti/Software/Sistemi Operativi Linux, MacOSX, DBMS PostgreSQL, Penthao Data Integrator.

• Linguaggi di Programmazione Java, ML, C, Pyton, Ruby on Rails, COQ proof assistant.

7.2 Competenze linguistiche

• Inglese letto: buono; parlato: buono; scritto: buono.

• Francese letto: eccellente; parlato: buono; scritto: discreto.