Logo Università degli Studi di Milano



 
 

Algorithms and Foundations of Computer Science  

Linee di ricercaPersone

 logic and formal methods

Stefano Aguzzoli, Valentina Ciriani, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Elvinia Maria Riccobene

 combinatorial optimization algorithms

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

 automata and formal languages

Violetta Lonati, Carlo Mereghetti, Beatrice Santa Palano, Giovanni Pighizzini

 industrial optimization

Alberto Ceselli, Roberto Cordone, Giovanni Righini, Marco Trubian

 mathematical programming

lberto 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

 graphs and enumerative combinatirics

 

 algorithms for bioinformatics

Gabriella Trucco

Torna ad inizio pagina