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