Research Themes
The list below gives for each research theme available within
the PhD programme in Computer Science the faculty members at DISI who are doing research on
that theme (and possibly more specific topics within the
research theme).
To get more detailed information, please consult the
DISI web page.
- computer algebra
researchers:
MoraF
- computer graphics and geometric modeling
(solid modeling; multi-resolution geometric modeling; analysis and structuring of geometric shapes)
researchers:
DeflorianiL,
MagilloP,
PuppoE
- data bases and information systems
(advanced data models: object-oriented databases, deductive databases, active databases, constraint databases; management of temporal, geo-spatial and semistructured data; Web and databases; indexing techniques and database security; data mining and knowledge management)
researchers:
CataniaB,
GuerriniG
- distributed systems
(prototyping and performance evaluation; low-cost and high-performance distributed platforms; development environments for distributed applications; security; mobile computing)
researchers:
AnconaM,
ChiolaG,
CiaccioG,
GianuzziV,
RibaudoM
- image processing
researchers:
BerteroM,
BoccacciP
- programming languages
(foundations and design; object-oriented, functional and logic programming languages; integration of paradigms; reflection; applications of logic programming to knowledge representation and artificial intelligence)
researchers:
AnconaD,
AnconaM,
DelzannoG,
MartelliM,
MascardiV,
MoggiE,
ZuccaE
- soft computing
researchers:
MasulliF,
RovettaS
- techniques and methods for software system design
(UML-based technologies and their extensions; methods for automatic verification of protocols and concurrent systems; formal methods)
researchers:
AstesianoE,
CerioliM,
DelzannoG,
MartelliM,
MascardiV,
ReggioG
- theoretical foundations of computer science
researchers:
MoggiE,
RosoliniG
- theory and applications of statistical learning from examples
researchers:
OdoneF,
VerriA