Curriculum Vitae Europass

Transcript

1 Curriculum Vitae Europass Informazioni personali Cognome/i nome/i Esperienza professionale Date Funzione o posto occupato 2015-presente Professore a contratto presso il Dipartimento di Matematica del Politecnico di Milano. Date Funzione o posto occupato Professore a contratto presso il Dipartimento di Matematica del Politecnico di Milano e il Dipartimento di Informatica dell Università degli Studi di Milano. Date gennaio 2010-gennaio 2012 Funzione o posto occupato Assegnista di ricerca presso il Dipartimento di Ingegneria Elettronica e dell Informazione del Politecnico di Milano con una borsa dal titolo Self-Managing Situated Computing: studio di tecniche di verifica automatica mediante combinazione di procedure di decisione. Date aprile 2009 dicembre 2010 Funzione o posto occupato Assegnista di ricerca presso IEIIT-CNR con una borsa dal titolo Grammatiche 2D. Date settembre 2006 dicembre 2009 Funzione o posto occupato Attività di ricerca presso il Laboratoire d Informatique Algorithmique: Fondements et Applications (LIAFA) dell Université Paris 7 (Denis Diderot). Istruzione e formazione Date Certificato o diploma ottenuto Dottorato in Informatica Principali materie/competenze Titolo della tesi: Definability Problems in Z and in Z p, mention trés honorable professionali apprese Nome e tipo d istituto di istruzione Université Paris 7 - Denis Diderot - Vinci Program o formazione nella classificazione ISCED 6 nazionale o internazionale Date Certificato o diploma ottenuto Dottorato in Ingegneria Matematica Pagina 1 / 8 - Curriculum vitæ di

2 Principali materie/competenze professionali apprese Nome e tipo d istituto di istruzione o formazione nella classificazione nazionale o internazionale Titolo della tesi: Definability Problems in Z and in Z p, valutazione con merito Politecnico di Milano, Milano - Vinci Program ISCED 6 Date Certificato o diploma ottenuto Laurea in Matematica Principali materie/competenze professionali apprese Nome e tipo d istituto di istruzione o formazione nella classificazione nazionale o internazionale Titolo della tesi: Cerchi e loro punti interni nei quasi-anelli circolari, valutazione 110/110 e lode Università degli Studi di Parma, Parma ISCED 5 Borse di studio Attività didattica Borsa di studio dell Università Italo-Francese - Université Franco-Italienne (gennaio dicembre 2008). Docenze a contratto Professore a contratto per i corsi di: Analisi Matematica 1 - A.A Politecnico di Milano Geometria e Algebra Lineare - A.A , , , Politecnico di Milano Logica e Algebra - A.A , , , , , , , Politecnico di Milano Logica e Algebra 2 - A.A Politecnico di Milano Matematica del Discreto A.A , , Università degli Studi di Milano Matematica - A.A Università degli Studi di Parma Pagina 2 / 8 - Curriculum vitæ di

3 Esercitazioni Esercitatore per i corsi di: Analisi e Geometria 2 - A.A , , , , , Politecnico di Milano Analisi Matematica 1 e Geometria - A.A , , , , , Politecnico di Milano Analisi e Geometria 1 - A.A , Politecnico di Milano Analisi Matematica 1 - A.A Politecnico di Milano Geometria e Algebra Lineare - A.A , , , , , , Politecnico di Milano Logica e Algebra - A.A , , , , , , , , , , , Politecnico di Milano Logica 2 - A.A , , , , , , Politecnico di Milano Introduzione all Algebra - A.A , , Università degli Studi di Parma Informatica teorica - A.A , , , , Politecnico di Milano Informatica 3 - A.A , , , , Politecnico di Milano Tutor di laboratorio Tutor di laboratorio per i corsi di: Informatica - A.A , , , Università degli Studi di Milano Logica e Algebra - A.A , , , , , , , , , , , Politecnico di Milano Didattica online Responsabile del corso Matematica del Discreto e Fondamenti di Matematica del Discreto del corso di laurea triennale online in Sicurezza dei Sistemi e delle Reti Informatiche - Erogazione Online dell Università degli Studi di Milano - A.A , e Tutor del corso di Algoritmi e principi dell informatica - mod. 1 erogato on-line A.A , , Corso di Laurea in Ingegneria Informatica - Politecnico di Milano. Tutor del corso di Algoritmi e principi dell informatica - mod. 2 erogato on-line A.A , , Corso di Laurea in Ingegneria Informatica - Politecnico di Milano. Pagina 3 / 8 - Curriculum vitæ di

4 Supporto alla didattica Attività di supporto alla didattica - Corsi di recupero OFA (Matematica) A.A , , , , Politecnico di Milano. Attività di tutorato per il corso Logica e Algebra - Ingegneria Informatica A.A , , , , Politecnico di Milano. Attività di tutorato per il corso Geometria e Algebra Lineare - Ingegneria Informatica A.A , , , Politecnico di Milano. Attività di tutorato per il corso Algoritmi e principi dell informatica - Ingegneria Informatica A.A , , Politecnico di Milano. Partecipazione a scuole, stage convegni Conferenze Partecipazione alle conferenze nazionali e internazionali: 15th International Conference on Developments in Language Theory (DLT 2011), Milano, th International Conference on Algebraic Informatics, (CAI 2011), Linz, Highlights of AutoMathA, Vienna, Temporal Representation and Reasoning (TIME 10), Parigi, th Italian Conference on Theoretical Computer Science (ICTCS 10), Camerino, th Italian Conference on Theoretical Computer Science (ICTCS 09), Cremona, th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 08), Nový Smokovec, International conference on pure and applied combinatorics and its connections with Geometry, Graph Theory and Algebra (Combinatorics 2008), Costermano, JOurnées Rouennaises de Combinatoire et Algorithmique (JORCAD 08), Rouen, th Italian Conference on Theoretical Computer Science (ICTCS 07), Roma, th International Conference Developments in Language Theory (DLT 07), Turku, 2007 Secondo Convegno Italiano di Teoria dei Numeri, Parma, Pagina 4 / 8 - Curriculum vitæ di

5 Workshops Partecipazione ai workshops e meeting di progetto: Meeting SMSCom, Milano, Meeting PRIN, Milano, Meeting SMSCom, Como, Meeting PRIN, Varese, Workshop on Reachability Problems, Turku, Summer Schools Partecipazioni alle summer school: 34 e École de Printemps en Informatique Théorique (EPIT 2006): Jeux en sémantique et vérification, Ile de Ré, International school and conference on Combinatorics, Automata and Number Theory (CANT 2006), Liège, Capacità e competenze informatiche Ottima conoscenza dei principali SO (Windows, Linux), delle applicazioni Office (Microsoft Office, Apache Open Office), dei principali browser per la navigazione internet, della posta elettronica. Ottima conoscenza dei principali software matematici per l analisi, l algebra e la logica (WolframAlpha, MATLAB, GAP, SPASS). Ottima conoscenza dei linguaggi C/C++. Ottima conoscenza del linguaggio di markup LATEX. Capacità e competenze linguistiche Madrelingua/e italiano Autovalutazione Comprensione Parlato Scritto europeo (*) inglese francese Pubblicazioni C1 C2 Ascolto Lettura Interazione C1 C2 B2 C2 intermedio (*) Quadro comune europeo di riferimento per le lingue C1 C2 Produzione orale B2 B2 intermedio intermedio J.1 Alessandra Cherubini,, Zuhua Liu. Composing short 3-compressing words on a 2-letter alphabet. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017, Vol 19 no. 1. J.2 Marcello M. Bersani,, Angelo Morzenti, Matteo Pradella, Matteo Rossi, and Pierluigi San Pietro. Constraint LTL Satisfiability Checking without Automata. Journal of Applied Logic, 12(4): , Pagina 5 / 8 - Curriculum vitæ di

6 J.3, Liliana Pasquale and Paola Spoletini. Fuzzy Time in LTL. ACM Transactions on Computational Logic, 15(4), J.4 Fiorenza Morini, Anna Benini and. New designs from circular nearrings. Electronic Notes in Discrete Mathematics, 40: , DOI /j.endm (ISSN: ) J.5 Marcello M. Bersani, and Alessandra Cherubini. Expressiveness and complexity of regular pure two-dimensional context-free languages. International Journal of Computer Mathematics, 90(8): , DOI / (ISSN: ) J.6 Anna Benini, and Fiorenza Morini. BIB-Designs from Circular Nearrings. Results in Mathematics, 64(1-2): DOI /s (ISSN: ) J.7 Christian Choffrut and. Deciding whether the ordering is necessary in a Presburger formula. Discrete Mathematics & Theoretical Computer Science, 12(1):20 38, (ISSN: ) C.1 Marcello M. Bersani,, and Alessandra Cherubini. On Some Classes of 2D Languages and Their Relations. In J.K. Aggarwal, R.P. Barneva, V.E. Brimkov, K.N. Koroutchev, and E.R. Korutcheva, editors, Combinatorial Image Analysis, 14th International Workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011, volume 6636 of LNCS, pages , C.2 Anna Benini,, and Fiorenza Morini. Codes and Combinatorial Structures from Circular Planar Nearrings. In F. Winkler, editor, Algebraic Informatics, 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, volume 6742 of LNCS, pages , C.3 Alessandra Cherubini,, and Brunetto Piochi. Short 3-Collapsing Words over a 2-Letter Alphabet. In G. Mauri and A. Leporati, editors, Development in Language Theory, 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011, volume 6795 of LNCS, pages , Pagina 6 / 8 - Curriculum vitæ di

7 C.4 Marcello M. Bersani,, Matteo Rossi, and Pierluigi San Pietro. Completeness of the Bounded Satisfiability Problem for Constraint LTL. In G. Delzanno, and I. Potapov, editors, Reachability problems, RP 2011, Genova, Italy, volume 6945 of LNCS, page 58 71, C.5 Marcello M. Bersani,, Angelo Morzenti, Matteo Pradella, Matteo Rossi, and Pierluigi San Pietro. Bounded Reachability for Temporal Logic over Constraint Systems. In N. Markey and J. Wijsen, editors, TIME 2010, 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010, IEEE Conference Proceedings, pages 43 50, DOI C.6 Marcello M. Bersani, Luca Cavallaro,, Matteo Pradella, and Matteo Rossi. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. In SEFM 2010, 8th IEEE International Conference on Software Engineering and Formal Methods, IEEE Conference Proceedings, pages , DOI C.7 Christian Choffrut and. Definable sets in weak Presburger arithmetic. In G.F. Italiano, E. Moggi, and L. Laura, editors, Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings, IEEE Conference Proceedings, pages , B.1 Alessandra Cherubini, Stefania Adami, Luca Mauri, Claudia Nuccio, Achille Frigeri. Appunti di Logica e Algebra con esercizi. Maggioli Editore, Milano, N.1 Marcello M. Bersani,, Alessandra Cherubini. On the Complexity of Pure 2D Context-free Grammars. ICTCS 2012, N.2 Marcello M. Bersani, Checking Satisfiability of CLTL without Automata. ICTCS 2012, N.3 Nicholas Fiorentini,, Liliana Pasquale, and Paola Spoletini. Time Modalities over Many-valued Logics. ICTCS 2012, N.4 Marcello M. Bersani,. Bounded Reachability for Temporal Logic over Constraint Systems (Extended Abstract). ICTCS 2010, Pagina 7 / 8 - Curriculum vitæ di

8 N.5 Fiorenza Morini,. Balanced Incomplete Block Designs from Planar Circular Nearrings. Quaderno n. 493 del Dipartimento di Matematica dell Università degli Studi di Parma, N.6. Automata and Logic on p-adic numbers. ICTCS 2009, Autorizzo al trattamento dati ai sensi dell art. 13 D.Lgs. 196/2003 (legge sulla privacy). Autorizzo la pubblicazione sul sito istituzione del Politecnico di Milano (sez. Amministrazione Trasparente) in ottemperanza al D. Lgs n. 33 del 14 marzo 2013 (e s.m.i.) Pagina 8 / 8 - Curriculum vitæ di