Logo Università degli Studi di Milano


 

 
 

Algorithms and Foundations of Computer Science  

Quest’area affronta problematiche relative ad algoritmi e fondamenti di informatica.

Linee di ricercaPersone

logic and formal methods

Stefano Aguzzoli, Valentina Ciriani, Camillo Fiorentini, Alberto Momigliano, Elena Pagani, Elvinia Maria Riccobene

combinatorial optimization algorithms

Nicola Bianchessi, Alberto Ceselli, Roberto Cordone, Giuliano Grossi, 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

Nicola Bianchessi, Alberto Ceselli, Roberto Cordone, Giovanni RighiniMarco Trubian

mathematical programming

Nicola Bianchessi, Alberto Ceselli, Roberto Cordone, Giovanni Righini, Marco Trubian

algorithmics for the web and social networks

Paolo Boldi, Nicolò Antonio Cesa Bianchi, Massimo Santini, Sebastiano Vigna

algorithmic game theory

Nicola Basilico, Nicolò Antonio Cesa BianchiMattia 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

 
Torna ad inizio pagina