Proposte di Progetti/Tesi/Stage

Proposte di Progetti/Tesi/Stage in ambito didattico

Propongo di collaborare con me per la realizzazione di alcuni progetti che guardano alla didattica.

Molti di questi progetti mirano alla valorizzazione del CMS (Contest Management System) il cui utilizzo e' da me promosso in diversi contesti (corsi universitari, corsi tandem o PLS presso scuole superiori, attivita' di autoformazione, corsi di formazione per gli insegnanti). Riporto alcuni di tali progetti specifici al fine di esprimere e rappresentare un'opportunita' di collaborazione anche piu'ampia.

Tra questi:

pacchettizzare vecchi e nuovi problemi delle olimpiadi di informatica.
Descrizione di massima: vi viene fornita una descrizione dei problemi e delle soluzioni degli stessi. Dovete curare il testo del problema, la generazione delle istanze (scelta dei subtask, dimensionamento delle istanze, validazione delle stesse), la stesura di alcuni codici solutori, la messa a punto dei codici per la correzione.
Linguaggi che utilizzerete: LaTex per i testi, python oppure c/cpp per i generatori di istanze, c/cpp per i solutori.
Creazione di problemi per CMS ex novo (proposta valida anche per tesi di didattica della matematica). Formato ed obiettivi molto liberi (ma posso aiutare), come ad esempio realizzazione di una suite di problemi di informatica specifici per le scuole superiori, oppure la realizzazione di una suite di giochi (in ambito CMS, sfruttando le opportunita' aperte dalla possibilita' ancora massimamente inesplorata di problemi interattivi) di vostra scelta. In generale, contribuire con la proposta e realizzazione di problemi carini che possano condurre ad imparare divertendosi (giochi Montessoriani).
Realizzazione di problemi in seno al mio nuovo progetto di integrazione tra CMS e linguaggi di modellazione matematica. Anche qui, offro massima liberta' ma a chi sentisse bisogno di un percorso piu' strutturato e di consegne concrete, posso fornire io la descrizione precisa del problema e dei suoi obiettivi. Linguaggi che utilizzerete: LaTex per i testi, python oppure c/cpp per i generatori di istanze, AMPL e GMPL per i solutori.
Realizzazione di problemi in seno al mio nuovo progetto di impiego del CMS per l'espressione e validazione di dimostrazioni di NP-completezza, o, piu' in generale, di problemi che chiedano di escogitare una riduzione da un problema ad un altro.

Nel caso dei matematici partecipanti a sfide (che non possono vedersi riconosciuto altrimenti il loro impegno): come stage propongo una partecipazione attiva a sfide oltre al compimento di un percorso di sperimentazione di un linguaggio di programmazione come concordato con i tutor aziendale ed accademico.

Ricerca (Argomenti/Proposte/Progetti/Tesi/Stage)

A family of combinatorial 2-player games on graphs and dynamic temporal planning
Parity games and mean-payoff games are among the few problems in the intersection between NP and coNP not known to fall in P. One extra reason to tackle these intriguing games is that they lay at the heart of practical problems in dynamic temporal planning. These are the object of study of several groups around the world and also in this department, with projects and active ongoing research and collaborations. This offers a unique opportunity for an algorithmic study of these theoretically compelling and practically relevant issues. Bottom-up speaking, if this might pick your interest, we can set up a study group/research team and, for steep it might appear, we sure will hit something.
C.~Comin, R.~Rizzi, R.~Posenato, A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games, TIME 2014. 7--16 (2014).

Current research lines in algorithms:
- new paradigs for listing efficiently
  collaborations with: Grossi and his PhD (Pisa), Marie-France and her group (Lyon ), Ferreira (Microsoft), Sacomoto (Google).
- parity games and mean payoff games (just in the intersection of NP and coNP, o pen on whether in P!)
  collaborations with: my PhD student in VR-TN/Paris Carlo Comin
- temporal contraint networks, temporal planning
  collaborations with: Posenato, Combi, Sala and Comin (VR)
- combinatorics of permutations
  collaborations with: Stephane Vialette (Paris)
- combinatorially grounded approaches to counting and random generation.
  collaborations with Alexandru Tomescu (Helsinki)
Current research lines in Discrete Mathematics:
- power indexes of parties and coalitions on topologies
  collaborations with Benati (Trento) and Craig Tovey (Georgia Tech)
- Cycle Basis
  collaborations with Edoardo Amaldi (Politecnico di Milano), Christian Liebchen and a german net active on cycle basis (including Kurt Melhorn).
- various issues in algorithmic graph theory
  collaborations with Milanic (Koper), Zsuzsa and Ferdinando (VR).
Current research lines in Bioinformatics:
- models and algorithms for transcript expression interpretation
  collaborations with Veli Makinen and Alexandru Tomescu (Helsinki)
- minimum path cover for multi-assembly
  collaborations with Veli Makinen and Alexandru Tomescu (Helsinki)
- algorithmics of the bubble model for alternative splicing
  collaborations with: Marie-France and her group (Lyon), Sacomoto (Google), Grossi (Pisa).
- strigology issues
  collaborations with: Zsuzsa and Ferdinando (VR).
- detection of patterns in permutations
  collaborations with: Stephane Vialette (Paris)

created: 19 aprile 2015
updated: 19 aprile 2015