Group Members

Dr. Roberto Alfieri

Grid computing and grid authorization, network security, high-performance distributed computing systems.

Prof. Roberto Bagnara

Programming languages. Static analysis. Abstract interpretation. Verification of industrial critical systems.

Dr. Federico Bergenti

Artificial Intelligence, agent communication languages and their semantics, and agent (constraint) programming languages. Software Engineering, architectures for agent-based middleware, and reusability and strong decoupling in agent-based software systems.

Dr. Alessandro Dal Palù

Bioinformatics, Protein Structure Prediction, Constraint Logic Programming, design and implementation of new Constraint Solvers for Biology.

Dr. Patricia M. Hill

Programming languages. Static analysis. Abstract interpretation. Verification of industrial critical systems.

Prof. Grazia Lotti

Computational complexity: practical and efficient implementation of adaptive quadrature algorithms; bit computational cost of algorithms by using infinite precision arithmetics; algorithms for the computation of the stationary distribution of large continuous-time Markov chains.

Prof. Gabriele Ricci

Universal Mathematics for Computer Science: universal matrices (universal extensions of the computationally relevant subjects of Linear Algebra of both a strictly linear and nonlinear nature) and neural networks over Galois fields.

Prof. Gianfranco Rossi

Programming languages. Language issues in Logic Programming Languages. Extended unification algorithms. Programming with sets. Constraint Logic Programming with sets. The {log} language: design and implementation.

Prof. Enea Zaffanella

Programming languages. Abstract interpretation. Abstract domains for the static analysis of programs and systems. Static analysis for imperative programming languages and (concurrent) (constraint) logic programming languages.

[Page last updated on November 10, 2009, 10:30:51.]