The Computer Science Group
at the University of Parma

Welcome to the home page of the Computer Science Group.

Even though the University of Parma does not (yet) have a Computer Science Department, there are a few people actually involved in Computer Science research. There is the hope that this small group will grow in the near future.

The main research interests of our group include: Computational Complexity; Programming Language Semantics; Universal Mathematics for Computer Science; and Abstract Interpretation. More insight can be obtained by visiting the home pages of the group members, as well as our projects and publications web pages. Based on our research work, we are also developing several software projects. The group also organizes seminars on various topics of Computer Science.

The Computer Science Group of the University of Parma is a member of:

• CoLogNet, the EU Network of Excellence in Computational Logic.

Besides research, teaching is another interest of the members of the Computer Science Group. In this respect, a main goal has been achieved in 2002 with the activation of a First Level Degree in Computer Science at the University of Parma. The web site Corso di Laurea in Informatica (in Italian) contains lots of information related to teaching activities.

[Page last updated on January 17, 2005, 15:49:21.]