logic and formal methods | Stefano Aguzzoli, Matteo Bianchi, Valentina Ciriani, Camillo Fiorentini, Alberto Momigliano, Elena Pagani, Elvinia Maria Riccobene |
combinatorial optimization algorithms | Michiele Barbato, Nicola Bianchessi, Alberto Ceselli, Roberto Cordone, Giovanni Righini, Marco Trubian |
computer science education | Carlo Bellettini, Violetta Lonati, Dario Malchiodi, Mattia Monga, Anna Chiara Giovanna Morpurgo, Nello Scarabottolo |
automata and formal languages | Violetta Lonati, Carlo Mereghetti, Beatrice Santa Palano, Giovanni Pighizzini |
industrial optimization | Michiele Barbato, Nicola Bianchessi, Alberto Ceselli, Roberto Cordone, Giovanni Righini, Marco Trubian |
mathematical programming | Michiele Barbato, Nicola Bianchessi, Alberto Ceselli, Roberto Cordone, Giovanni Righini, Marco Trubian |
algorithmics for the web and social networks | Paolo Boldi, Marco Bressan, Nicolò Antonio Cesa Bianchi, Massimo Santini, Sebastiano Vigna |
algorithmic game theory | Nicola Basilico, Nicolò Antonio Cesa Bianchi, Mattia Monga |
descriptional complexity | Carlo Mereghetti, Beatrice Santa Palano, Giovanni Pighizzini |
algorithms for circuit design | Valentina Ciriani, Gabriella Trucco |
quantum computing | Carlo Mereghetti, Beatrice Santa Palano |
algorithms for bioinformatics | Marco Frasca, Gabriella Trucco |
Graphs and enumerative combinatorics | Marco Bressan |